naiverevConsxxsappnaiverevxsConsxNilappConsxxsysConsxappxsysnotEmptyConsxxsTruenotEmptyNilFalsenaiverevNilNilappNilysysgoalxsnaiverevxsnaiverev1Cons2app2Nil0notEmpty1True0False0goal1INNERMOST