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