ftruexsfeqslengthxslengthconsaxsappendconsbnilxslengthnil0lengthconsxxsslengthxseq00trueeqsx0falseeq0syfalseeqsxsyeqxyappendxsysappendAkkreversexsysappendAkknilysysappendAkkconsxxsysappendAkkxsconsxysreversenilnilreverseconsxxsappendreversexsconsxnilf2true0eq2s1length1cons2a0append2b0nil000false0appendAkk2reverse1FULLemmes-nonloop-ex7_9.trs