MAYBE
0.00/0.01	 The problem does not contain well-formed TRSs:
0.00/0.01	   Strict Trs:
0.00/0.01	     { if(true()) -> X
0.00/0.01	     , if(false()) -> Y
0.00/0.01	     , fact(X) -> if(zero(X))
0.00/0.01	     , zero(0()) -> true()
0.00/0.02	     , zero(s(X)) -> false()
0.00/0.02	     , add(0(), X) -> X
0.00/0.02	     , add(s(X), Y) -> s(add(X, Y))
0.00/0.02	     , prod(0(), X) -> 0()
0.00/0.02	     , prod(s(X), Y) -> add(Y, prod(X, Y))
0.00/0.02	     , p(s(X)) -> X }
0.00/0.02	   StartTerms: basic terms
0.00/0.02	   Strategy: innermost
0.00/0.02	EOF