f tt x f isList x x isList Cons x xs isList xs isList nil tt f 2 tt 0 isList 1 Cons 2 xs 0 nil 0 FULL TRS//AProVE_10/isList.trs