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