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	     , minus() -> minus()
0.00/0.01	     , minus() -> 0()
0.00/0.01	     , geq() -> true()
0.00/0.01	     , geq() -> false()
0.00/0.01	     , geq() -> geq()
0.00/0.01	     , div(0()) -> 0()
0.00/0.01	     , div(s(X)) -> if(geq()) }
0.00/0.01	   StartTerms: all
0.00/0.02	   Strategy: none
0.00/0.02	EOF