push (\x0 -> (\x1 -> x0)) (\x0 -> x0)
name_1:
| push ()
| ret
call name_1
lift (\x0 -> (\x1 -> x0 x1))
call name_1
lift (\x0 -> (\x1 -> x0 x1))
ret