ftruexsfisListxsappendconsanilxsisListniltrueisListconsxxsisListxsappendxsysappendAkkreversexsysappendAkknilysysappendAkkconsxxsysappendAkkxsconsxysreversenilnilreverseconsxxsappendreversexsconsxnilf2true0isList1append2cons2a0nil0appendAkk2reverse1FULLemmes-nonloop-ex6_2.trs