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