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