push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (u4 u5) u6))))))
<hidden>:
| push (\u1 -> (\u2 -> u2))
| ret
call <hidden>
lift (\u1 -> (\u2 -> u1 u2))
<hidden>:
| <hidden>:
| | push (\u1 -> (\u2 -> u2))
| | ret
| call <hidden>
| <hidden>:
| | push (\u1 -> (\u2 -> u2))
| | call <hidden>
| | lift (\u1 -> (\u2 -> u1 u2))
| | call <hidden>
| | lift (\u1 -> (\u2 -> u1 u2))
| | ret
| call <hidden>
| lift (\u1 -> (\u2 -> u1 u2))
| call <hidden>
| lift (\u1 -> (\u2 -> u1 u2))
| ret
call <hidden>
lift (\u1 -> (\u2 -> u1 u2))
<hidden>:
| push Term
| ret
call <hidden>
lift (\u1 -> (\u2 -> u1 u2))
call <hidden>
lift (\u1 -> (\u2 -> u1 u2))
<hidden>:
| call <hidden>
| <hidden>:
| | push (\u1 -> (\u2 -> u2))
| | call <hidden>
| | lift (\u1 -> (\u2 -> u1 u2))
| | call <hidden>
| | lift (\u1 -> (\u2 -> u1 u2))
| | ret
| call <hidden>
| lift (\u1 -> (\u2 -> u1 u2))
| call <hidden>
| lift (\u1 -> (\u2 -> u1 u2))
| ret
call <hidden>
lift (\u1 -> (\u2 -> u1 u2))
call <hidden>
lift (\u1 -> (\u2 -> u1 u2))
ret