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