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