MAYBE
Trs:
 {f(g(x), g(y)) -> f(p(f(g(x), s(y))), g(s(p(x)))),
     g(s(p(x))) -> p(x),
         p(0()) -> g(0())}
 Comment:
  We consider a duplicating trs.
  FAIL:
   Open