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