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