pushValue (\u1 -> (\u2 -> u2))
<hidden>:
| pushValue (\u1 -> Term)
| <hidden>:
| | catchException "fail"
| |   <try>
| |   | pushValue (\u1 -> (\u2 -> (\u3 -> u2 u3)))
| |   | read Term
| |   | lift2Value (\u1 -> (\u2 -> u1 u2))
| |   | call <hidden>
| |   | lift2Value (\u1 -> (\u2 -> u1 u2))
| |   | popException "fail"
| |   | ret
| |   <handler>
| |     pushInput
| |     lift2Value Term
| |     choicesBranch [(\u1 -> u1)]
| |       <branch>
| |       | pushValue (\u1 -> u1)
| |       | ret
| |       <default>
| |         raiseException "fail"
| call <hidden>
| lift2Value (\u1 -> (\u2 -> u1 u2))
| ret
call <hidden>
lift2Value (\u1 -> (\u2 -> u1 u2))
<hidden>:
| pushValue (\u1 -> u1 Term)
| <hidden>:
| | catchException "fail"
| |   <try>
| |   | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4)))))
| |   | <hidden>:
| |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
| |   | | call <hidden>
| |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
| |   | | call <hidden>
| |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
| |   | | popException "fail"
| |   | | ret
| |   | pushInput
| |   | read ((\u1 -> (\u2 -> u1)) Term)
| |   | swapValue
| |   | loadInput
| |   | choicesBranch [(Term ==),(Term ==),(Term ==),(Term ==),(Term ==),(Term ==),(Term ==)]
| |   |   <branch>
| |   |   | pushValue (\u1 -> (\u2 -> cons Term))
| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
| |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
| |   |   | refJoin <hidden>
| |   |   <branch>
| |   |   | pushValue (\u1 -> (\u2 -> cons Term))
| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
| |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
| |   |   | refJoin <hidden>
| |   |   <branch>
| |   |   | pushValue (\u1 -> (\u2 -> cons Term))
| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
| |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
| |   |   | refJoin <hidden>
| |   |   <branch>
| |   |   | pushValue (\u1 -> (\u2 -> cons Term))
| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
| |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
| |   |   | refJoin <hidden>
| |   |   <branch>
| |   |   | pushValue (\u1 -> (\u2 -> cons Term))
| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
| |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
| |   |   | refJoin <hidden>
| |   |   <branch>
| |   |   | pushValue (\u1 -> (\u2 -> cons Term))
| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
| |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
| |   |   | refJoin <hidden>
| |   |   <branch>
| |   |   | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> cons (Term u3))))))
| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
| |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
| |   |   | call <hidden>
| |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
| |   |   | call <hidden>
| |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
| |   |   | read (']' ==)
| |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
| |   |   | refJoin <hidden>
| |   |   <default>
| |   |     raiseException "fail"
| |   <handler>
| |     pushInput
| |     lift2Value Term
| |     choicesBranch [(\u1 -> u1)]
| |       <branch>
| |       | pushValue (\u1 -> u1)
| |       | ret
| |       <default>
| |         raiseException "fail"
| call <hidden>
| lift2Value (\u1 -> (\u2 -> u1 u2))
| ret
call <hidden>
lift2Value (\u1 -> (\u2 -> u1 u2))
ret