add true x xs add and isNat x isList xs x Cons x xs isList Cons x xs isList xs isList nil true isNat s x isNat x isNat 0 true if true x y x if false x y y and true true true and false x false and x false false add 3 true 0 and 2 isNat 1 isList 1 Cons 2 nil 0 s 1 0 0 if 3 false 0 FULL TRS//AProVE_10/ex4.trs