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