ftruexsfisListxsappendconsanilxsisListniltrueisListconsxxsisListxsappendnilysysappendconsxxsysconsxappendxsysf2true0isList1append2cons2a0nil0FULLemmes-nonloop-ex6_1.trs