MAYBE
TRS:
 {h(f(x, y)) -> f(f(a(), h(h(y))), x)}
 DP:
  Strict:
   {h#(f(x, y)) -> h#(y),
    h#(f(x, y)) -> h#(h(y))}
  Weak:
  {h(f(x, y)) -> f(f(a(), h(h(y))), x)}
  EDG:
   {(h#(f(x, y)) -> h#(h(y)), h#(f(x, y)) -> h#(h(y)))
    (h#(f(x, y)) -> h#(h(y)), h#(f(x, y)) -> h#(y))
    (h#(f(x, y)) -> h#(y), h#(f(x, y)) -> h#(y))
    (h#(f(x, y)) -> h#(y), h#(f(x, y)) -> h#(h(y)))}
   SCCS:
    Scc:
     {h#(f(x, y)) -> h#(y),
      h#(f(x, y)) -> h#(h(y))}
    SCC:
     Strict:
      {h#(f(x, y)) -> h#(y),
       h#(f(x, y)) -> h#(h(y))}
     Weak:
     {h(f(x, y)) -> f(f(a(), h(h(y))), x)}
     Fail