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