MAYBE
MAYBE
TRS:
 {
  f(a(x), a(y)) -> a(f(x, y)),
  f(b(x), b(y)) -> b(f(x, y)),
  a(a(f(x, y))) -> f(a(b(a(b(a(x))))), a(b(a(b(a(y))))))
 }
 DUP: We consider a non-duplicating system.
  Trs:
   {
    f(a(x), a(y)) -> a(f(x, y)),
    f(b(x), b(y)) -> b(f(x, y)),
    a(a(f(x, y))) -> f(a(b(a(b(a(x))))), a(b(a(b(a(y))))))
   }
  Fail