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