f tt x f isList x Cons tt x isList Cons x xs isList xs isList nil tt f 2 tt 0 isList 1 Cons 2 nil 0 FULL enger-nonloop-isList.trs