push (\u1 -> (\u2 -> u2)) name_1: | push unit | ret call name_1 lift (\u1 -> (\u2 -> u1 u2)) call name_1 lift (\u1 -> (\u2 -> u1 u2)) ret