ftruexsfeqslengthxslengthconsaxsappendxsconsanillengthnil0lengthconsxxsslengthxseq00trueeqsx0falseeq0syfalseeqsxsyeqxyappendxsysappendAkkreversexsysappendAkknilysysappendAkkconsxxsysappendAkkxsconsxysreversenilnilreverseconsxxsappendreversexsconsxnilf2true0eq2s1length1cons2a0append2nil000false0appendAkk2reverse1FULLemmes-nonloop-ex7_5.trs