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