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 , p(0()) -> 0() 0.00/0.01 , p(s(X)) -> X 0.00/0.01 , leq(0(), Y) -> true() 0.00/0.01 , leq(s(X), 0()) -> false() 0.00/0.01 , leq(s(X), s(Y)) -> leq(X, Y) 0.00/0.01 , diff(X, Y) -> if(leq(X, Y)) } 0.00/0.01 StartTerms: all 0.00/0.01 Strategy: none 0.00/0.01 EOF