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