ftruexsfeqslengthxslengthconsaxsappendconsbnilxslengthnil0lengthconsxxsslengthxseq00trueeqsx0falseeq0syfalseeqsxsyeqxyappendnilysysappendconsxxsysconsxappendxsysf2true0eq2s1length1cons2a0append2b0nil000false0FULLemmes-nonloop-ex7_7.trs