MAYBE
MAYBE
TRS:
 {
     if(true()) -> X,
    if(false()) -> Y,
      zero(0()) -> true(),
     zero(s(X)) -> false(),
        fact(X) -> if(zero(X)),
    add(0(), X) -> X,
   add(s(X), Y) -> s(add(X, Y)),
   prod(0(), X) -> 0(),
  prod(s(X), Y) -> add(Y, prod(X, Y)),
        p(s(X)) -> X
 }
 DUP: We consider a duplicating system.
  Trs:
   {
       if(true()) -> X,
      if(false()) -> Y,
        zero(0()) -> true(),
       zero(s(X)) -> false(),
          fact(X) -> if(zero(X)),
      add(0(), X) -> X,
     add(s(X), Y) -> s(add(X, Y)),
     prod(0(), X) -> 0(),
    prod(s(X), Y) -> add(Y, prod(X, Y)),
          p(s(X)) -> X
   }
  Fail