MAYBE
MAYBE
TRS:
 {f(X, f(Y, Z)) -> f(Y, Y),
  f(f(X, Y), Z) -> f(X, f(Y, Z))}
 DUP: We consider a duplicating system.
  Trs:
   {f(X, f(Y, Z)) -> f(Y, Y),
    f(f(X, Y), Z) -> f(X, f(Y, Z))}
  Fail