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