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