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