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