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