add0x'Consxxsadd0ConsConsNilNilx'xsnotEmptyConsxxsTruenotEmptyNilFalseadd0xNilxgoalxyadd0xyadd02Cons2Nil0notEmpty1True0False0goal2INNERMOST