push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (u4 u5) u6))))))
name_6:
| push (\u1 -> (\u2 -> u2))
| ret
call name_6
lift (\u1 -> (\u2 -> u1 u2))
name_3:
| name_1:
| | push (\u1 -> (\u2 -> u2))
| | ret
| call name_1
| name_7:
| | push (\u1 -> (\u2 -> u2))
| | call name_3
| | lift (\u1 -> (\u2 -> u1 u2))
| | call name_7
| | lift (\u1 -> (\u2 -> u1 u2))
| | ret
| call name_7
| lift (\u1 -> (\u2 -> u1 u2))
| call name_3
| lift (\u1 -> (\u2 -> u1 u2))
| ret
call name_3
lift (\u1 -> (\u2 -> u1 u2))
name_5:
| push Term
| ret
call name_5
lift (\u1 -> (\u2 -> u1 u2))
call name_6
lift (\u1 -> (\u2 -> u1 u2))
name_4:
| call name_1
| name_2:
| | push (\u1 -> (\u2 -> u2))
| | call name_4
| | lift (\u1 -> (\u2 -> u1 u2))
| | call name_2
| | lift (\u1 -> (\u2 -> u1 u2))
| | ret
| call name_2
| lift (\u1 -> (\u2 -> u1 u2))
| call name_4
| lift (\u1 -> (\u2 -> u1 u2))
| ret
call name_4
lift (\u1 -> (\u2 -> u1 u2))
call name_5
lift (\u1 -> (\u2 -> u1 u2))
ret