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