MAYBE 0.00/0.02 The problem does not contain well-formed TRSs: 0.00/0.02 Strict Trs: 0.00/0.02 { and(true()) -> X 0.00/0.02 , and(false()) -> false() 0.00/0.02 , if(true()) -> X 0.00/0.02 , if(false()) -> Y 0.00/0.02 , add(0()) -> X 0.00/0.02 , add(s()) -> s() 0.00/0.02 , first(0(), X) -> nil() 0.00/0.02 , first(s(), cons()) -> cons() 0.00/0.02 , from() -> cons() } 0.00/0.02 StartTerms: basic terms 0.00/0.03 Strategy: innermost 0.00/0.03 EOF