letexpxyletexpConsConsNilNilxygoalxyletexpxyletexp2Cons2Nil0goal2INNERMOST