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