pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> u4)))))
<hidden>:
| pushValue (\u1 -> (\u2 -> (\u3 -> u3)))
| <hidden>:
| | pushValue Term
| | ret
| call <hidden>
| lift2Value (\u1 -> (\u2 -> u1 u2))
| <hidden>:
| | catchException "fail"
| |   <try>
| |   | pushValue (\u1 -> (\u2 -> (\u3 -> u2 u3)))
| |   | <hidden>:
| |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
| |   | | call <hidden>
| |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
| |   | | popException "fail"
| |   | | ret
| |   | catchException "fail"
| |   |   <try>
| |   |   | pushValue (\u1 -> (\u2 -> Term))
| |   |   | <hidden>:
| |   |   | | pushValue (\u1 -> (\u2 -> u2))
| |   |   | | read Term
| |   |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
| |   |   | | call <hidden>
| |   |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
| |   |   | | ret
| |   |   | call <hidden>
| |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
| |   |   | <hidden>:
| |   |   | | catchException "fail"
| |   |   | |   <try>
| |   |   | |   | pushValue (\u1 -> (\u2 -> (\u3 -> u2 u3)))
| |   |   | |   | call <hidden>
| |   |   | |   | 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))
| |   |   | popException "fail"
| |   |   | refJoin <hidden>
| |   |   <handler>
| |   |     pushInput
| |   |     lift2Value Term
| |   |     choicesBranch [(\u1 -> u1)]
| |   |       <branch>
| |   |       | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> u5)))))
| |   |       | catchException "fail"
| |   |       |   <try>
| |   |       |   | pushValue (\u1 -> (\u2 -> '/' : ('/' : Term)))
| |   |       |   | read ('/' ==)
| |   |       |   | lift2Value (\u1 -> (\u2 -> u1 u2))
| |   |       |   | read ('/' ==)
| |   |       |   | lift2Value (\u1 -> (\u2 -> u1 u2))
| |   |       |   | popException "fail"
| |   |       |   | lift2Value (\u1 -> (\u2 -> u1 u2))
| |   |       |   | call <hidden>
| |   |       |   | lift2Value (\u1 -> (\u2 -> u1 u2))
| |   |       |   | <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))
| |   |       |   | call <hidden>
| |   |       |   | lift2Value (\u1 -> (\u2 -> u1 u2))
| |   |       |   | call <hidden>
| |   |       |   | lift2Value (\u1 -> (\u2 -> u1 u2))
| |   |       |   | refJoin <hidden>
| |   |       |   <handler>
| |   |       |     loadInput
| |   |       |     raiseException "fail"
| |   |       <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))
| call <hidden>
| lift2Value (\u1 -> (\u2 -> u1 u2))
| ret
call <hidden>
lift2Value (\u1 -> (\u2 -> u1 u2))
call <hidden>
lift2Value (\u1 -> (\u2 -> u1 u2))
<hidden>:
| catchException "fail"
|   <try>
|   | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> (\u9 -> (\u10 -> u9 u10))))))))))
|   | catchException "fail"
|   |   <try>
|   |   | pushValue (\u1 -> (\u2 -> u2))
|   |   | catchException "fail"
|   |   |   <try>
|   |   |   | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> (\u9 -> 'f' : ('u' : ('n' : ('c' : ('t' : ('i' : ('o' : ('n' : u9))))))))))))))))
|   |   |   | read ('f' ==)
|   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | read ('u' ==)
|   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | read ('n' ==)
|   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | read ('c' ==)
|   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | read ('t' ==)
|   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | read ('i' ==)
|   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | read ('o' ==)
|   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | read ('n' ==)
|   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | <hidden>:
|   |   |   | | pushValue Term
|   |   |   | | ret
|   |   |   | call <hidden>
|   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | popException "fail"
|   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | <hidden>:
|   |   |   | | catchException "fail"
|   |   |   | |   <try>
|   |   |   | |   | pushInput
|   |   |   | |   | read Term
|   |   |   | |   | popValue
|   |   |   | |   | popException "fail"
|   |   |   | |   | loadInput
|   |   |   | |   | raiseException "fail"
|   |   |   | |   <handler>
|   |   |   | |     loadInput
|   |   |   | |     pushValue Term
|   |   |   | |     ret
|   |   |   | call <hidden>
|   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | popException "fail"
|   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | call <hidden>
|   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | <hidden>:
|   |   |   | | pushValue (\u1 -> (\u2 -> u2))
|   |   |   | | catchException "fail"
|   |   |   | |   <try>
|   |   |   | |   | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
|   |   |   | |   | read Term
|   |   |   | |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | |   | call <hidden>
|   |   |   | |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | |   | <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))
|   |   |   | |   | call <hidden>
|   |   |   | |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | |   | popException "fail"
|   |   |   | |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | |   | call <hidden>
|   |   |   | |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | |   | ret
|   |   |   | |   <handler>
|   |   |   | |     loadInput
|   |   |   | |     raiseException "fail"
|   |   |   | call <hidden>
|   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | <hidden>:
|   |   |   | | pushValue (\u1 -> (\u2 -> '('))
|   |   |   | | read ('(' ==)
|   |   |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | call <hidden>
|   |   |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | ret
|   |   |   | call <hidden>
|   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | <hidden>:
|   |   |   | | catchException "fail"
|   |   |   | |   <try>
|   |   |   | |   | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> Term))))
|   |   |   | |   | <hidden>:
|   |   |   | |   | | pushValue (\u1 -> (\u2 -> u2))
|   |   |   | |   | | call <hidden>
|   |   |   | |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | |   | | <hidden>:
|   |   |   | |   | | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | |   | | | ret
|   |   |   | |   | | catchException "fail"
|   |   |   | |   | |   <try>
|   |   |   | |   | |   | pushValue (\u1 -> Term)
|   |   |   | |   | |   | <hidden>:
|   |   |   | |   | |   | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term))))))
|   |   |   | |   | |   | | read ('[' ==)
|   |   |   | |   | |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | |   | |   | | call <hidden>
|   |   |   | |   | |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | |   | |   | | <hidden>:
|   |   |   | |   | |   | | | read Term
|   |   |   | |   | |   | | | ret
|   |   |   | |   | |   | | call <hidden>
|   |   |   | |   | |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | |   | |   | | <hidden>:
|   |   |   | |   | |   | | | catchException "fail"
|   |   |   | |   | |   | | |   <try>
|   |   |   | |   | |   | | |   | pushValue (\u1 -> (\u2 -> (\u3 -> u2 u3)))
|   |   |   | |   | |   | | |   | call <hidden>
|   |   |   | |   | |   | | |   | 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))
|   |   |   | |   | |   | | read (']' ==)
|   |   |   | |   | |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | |   | |   | | call <hidden>
|   |   |   | |   | |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | |   | |   | | ret
|   |   |   | |   | |   | call <hidden>
|   |   |   | |   | |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | |   | |   | popException "fail"
|   |   |   | |   | |   | refJoin <hidden>
|   |   |   | |   | |   <handler>
|   |   |   | |   | |     pushInput
|   |   |   | |   | |     lift2Value Term
|   |   |   | |   | |     choicesBranch [(\u1 -> u1)]
|   |   |   | |   | |       <branch>
|   |   |   | |   | |       | call <hidden>
|   |   |   | |   | |       | refJoin <hidden>
|   |   |   | |   | |       <default>
|   |   |   | |   | |         raiseException "fail"
|   |   |   | |   | call <hidden>
|   |   |   | |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | |   | call <hidden>
|   |   |   | |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | |   | <hidden>:
|   |   |   | |   | | catchException "fail"
|   |   |   | |   | |   <try>
|   |   |   | |   | |   | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
|   |   |   | |   | |   | <hidden>:
|   |   |   | |   | |   | | pushValue (\u1 -> (\u2 -> u2))
|   |   |   | |   | |   | | ret
|   |   |   | |   | |   | call <hidden>
|   |   |   | |   | |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | |   | |   | <hidden>:
|   |   |   | |   | |   | | pushValue (\u1 -> (\u2 -> ','))
|   |   |   | |   | |   | | read (',' ==)
|   |   |   | |   | |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | |   | |   | | call <hidden>
|   |   |   | |   | |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | |   | |   | | ret
|   |   |   | |   | |   | call <hidden>
|   |   |   | |   | |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | |   | |   | call <hidden>
|   |   |   | |   | |   | 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))
|   |   |   | |   | call <hidden>
|   |   |   | |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | |   | popException "fail"
|   |   |   | |   | ret
|   |   |   | |   <handler>
|   |   |   | |     pushInput
|   |   |   | |     lift2Value Term
|   |   |   | |     choicesBranch [(\u1 -> u1)]
|   |   |   | |       <branch>
|   |   |   | |       | jump <hidden>
|   |   |   | |       <default>
|   |   |   | |         raiseException "fail"
|   |   |   | call <hidden>
|   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | <hidden>:
|   |   |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | <hidden>:
|   |   |   | | | pushValue (\u1 -> (\u2 -> ')'))
|   |   |   | | | read (')' ==)
|   |   |   | | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | call <hidden>
|   |   |   | | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | ret
|   |   |   | | call <hidden>
|   |   |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | <hidden>:
|   |   |   | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> u5)))))))
|   |   |   | | | read ('{' ==)
|   |   |   | | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | call <hidden>
|   |   |   | | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | call <hidden>
|   |   |   | | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | <hidden>:
|   |   |   | | | | catchException "fail"
|   |   |   | | | |   <try>
|   |   |   | | | |   | pushValue (\u1 -> (\u2 -> (\u3 -> u2 u3)))
|   |   |   | | | |   | <hidden>:
|   |   |   | | | |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   | | call <hidden>
|   |   |   | | | |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   | | popException "fail"
|   |   |   | | | |   | | ret
|   |   |   | | | |   | catchException "fail"
|   |   |   | | | |   |   <try>
|   |   |   | | | |   |   | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> u5)))))
|   |   |   | | | |   |   | catchException "fail"
|   |   |   | | | |   |   |   <try>
|   |   |   | | | |   |   |   | pushValue (\u1 -> (\u2 -> u2))
|   |   |   | | | |   |   |   | catchException "fail"
|   |   |   | | | |   |   |   |   <try>
|   |   |   | | | |   |   |   |   | pushValue (\u1 -> (\u2 -> (\u3 -> 'i' : ('f' : u3))))
|   |   |   | | | |   |   |   |   | read ('i' ==)
|   |   |   | | | |   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | read ('f' ==)
|   |   |   | | | |   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | call <hidden>
|   |   |   | | | |   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | popException "fail"
|   |   |   | | | |   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | call <hidden>
|   |   |   | | | |   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | popException "fail"
|   |   |   | | | |   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | call <hidden>
|   |   |   | | | |   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | <hidden>:
|   |   |   | | | |   |   |   |   | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
|   |   |   | | | |   |   |   |   | | <hidden>:
|   |   |   | | | |   |   |   |   | | | catchException "fail"
|   |   |   | | | |   |   |   |   | | |   <try>
|   |   |   | | | |   |   |   |   | | |   | pushValue (\u1 -> (\u2 -> u2))
|   |   |   | | | |   |   |   |   | | |   | <hidden>:
|   |   |   | | | |   |   |   |   | | |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | |   | | call <hidden>
|   |   |   | | | |   |   |   |   | | |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | |   | | popException "fail"
|   |   |   | | | |   |   |   |   | | |   | | ret
|   |   |   | | | |   |   |   |   | | |   | catchException "fail"
|   |   |   | | | |   |   |   |   | | |   |   <try>
|   |   |   | | | |   |   |   |   | | |   |   | pushValue (\u1 -> '0')
|   |   |   | | | |   |   |   |   | | |   |   | read ('0' ==)
|   |   |   | | | |   |   |   |   | | |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | |   |   | popException "fail"
|   |   |   | | | |   |   |   |   | | |   |   | refJoin <hidden>
|   |   |   | | | |   |   |   |   | | |   |   <handler>
|   |   |   | | | |   |   |   |   | | |   |     pushInput
|   |   |   | | | |   |   |   |   | | |   |     lift2Value Term
|   |   |   | | | |   |   |   |   | | |   |     choicesBranch [(\u1 -> u1)]
|   |   |   | | | |   |   |   |   | | |   |       <branch>
|   |   |   | | | |   |   |   |   | | |   |       | pushValue (\u1 -> '1')
|   |   |   | | | |   |   |   |   | | |   |       | read ('1' ==)
|   |   |   | | | |   |   |   |   | | |   |       | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | |   |       | refJoin <hidden>
|   |   |   | | | |   |   |   |   | | |   |       <default>
|   |   |   | | | |   |   |   |   | | |   |         raiseException "fail"
|   |   |   | | | |   |   |   |   | | |   <handler>
|   |   |   | | | |   |   |   |   | | |     pushInput
|   |   |   | | | |   |   |   |   | | |     lift2Value Term
|   |   |   | | | |   |   |   |   | | |     choicesBranch [(\u1 -> u1)]
|   |   |   | | | |   |   |   |   | | |       <branch>
|   |   |   | | | |   |   |   |   | | |       | catchException "fail"
|   |   |   | | | |   |   |   |   | | |       |   <try>
|   |   |   | | | |   |   |   |   | | |       |   | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> u2))))
|   |   |   | | | |   |   |   |   | | |       |   | read ('\'' ==)
|   |   |   | | | |   |   |   |   | | |       |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | |       |   | <hidden>:
|   |   |   | | | |   |   |   |   | | |       |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | |       |   | | read ('\'' ==)
|   |   |   | | | |   |   |   |   | | |       |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | |       |   | | call <hidden>
|   |   |   | | | |   |   |   |   | | |       |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | |       |   | | popException "fail"
|   |   |   | | | |   |   |   |   | | |       |   | | ret
|   |   |   | | | |   |   |   |   | | |       |   | catchException "fail"
|   |   |   | | | |   |   |   |   | | |       |   |   <try>
|   |   |   | | | |   |   |   |   | | |       |   |   | pushValue (\u1 -> (\u2 -> u2))
|   |   |   | | | |   |   |   |   | | |       |   |   | read Term
|   |   |   | | | |   |   |   |   | | |       |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | |       |   |   | call <hidden>
|   |   |   | | | |   |   |   |   | | |       |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | |       |   |   | popException "fail"
|   |   |   | | | |   |   |   |   | | |       |   |   | refJoin <hidden>
|   |   |   | | | |   |   |   |   | | |       |   |   <handler>
|   |   |   | | | |   |   |   |   | | |       |   |     pushInput
|   |   |   | | | |   |   |   |   | | |       |   |     lift2Value Term
|   |   |   | | | |   |   |   |   | | |       |   |     choicesBranch [(\u1 -> u1)]
|   |   |   | | | |   |   |   |   | | |       |   |       <branch>
|   |   |   | | | |   |   |   |   | | |       |   |       | pushValue (\u1 -> (\u2 -> (\u3 -> u3)))
|   |   |   | | | |   |   |   |   | | |       |   |       | read ('\\' ==)
|   |   |   | | | |   |   |   |   | | |       |   |       | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | |       |   |       | read Term
|   |   |   | | | |   |   |   |   | | |       |   |       | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | |       |   |       | call <hidden>
|   |   |   | | | |   |   |   |   | | |       |   |       | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | |       |   |       | refJoin <hidden>
|   |   |   | | | |   |   |   |   | | |       |   |       <default>
|   |   |   | | | |   |   |   |   | | |       |   |         raiseException "fail"
|   |   |   | | | |   |   |   |   | | |       |   <handler>
|   |   |   | | | |   |   |   |   | | |       |     pushInput
|   |   |   | | | |   |   |   |   | | |       |     lift2Value Term
|   |   |   | | | |   |   |   |   | | |       |     choicesBranch [(\u1 -> u1)]
|   |   |   | | | |   |   |   |   | | |       |       <branch>
|   |   |   | | | |   |   |   |   | | |       |       | pushValue (\u1 -> (\u2 -> u2))
|   |   |   | | | |   |   |   |   | | |       |       | call <hidden>
|   |   |   | | | |   |   |   |   | | |       |       | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | |       |       | <hidden>:
|   |   |   | | | |   |   |   |   | | |       |       | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | |       |       | | ret
|   |   |   | | | |   |   |   |   | | |       |       | catchException "fail"
|   |   |   | | | |   |   |   |   | | |       |       |   <try>
|   |   |   | | | |   |   |   |   | | |       |       |   | pushValue (\u1 -> Term)
|   |   |   | | | |   |   |   |   | | |       |       |   | <hidden>:
|   |   |   | | | |   |   |   |   | | |       |       |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | |       |       |   | | popException "fail"
|   |   |   | | | |   |   |   |   | | |       |       |   | | refJoin <hidden>
|   |   |   | | | |   |   |   |   | | |       |       |   | catchException "fail"
|   |   |   | | | |   |   |   |   | | |       |       |   |   <try>
|   |   |   | | | |   |   |   |   | | |       |       |   |   | pushValue (\u1 -> (\u2 -> (\u3 -> u2)))
|   |   |   | | | |   |   |   |   | | |       |       |   |   | call <hidden>
|   |   |   | | | |   |   |   |   | | |       |       |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | |       |       |   |   | <hidden>:
|   |   |   | | | |   |   |   |   | | |       |       |   |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | |       |       |   |   | | call <hidden>
|   |   |   | | | |   |   |   |   | | |       |       |   |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | |       |       |   |   | | popException "fail"
|   |   |   | | | |   |   |   |   | | |       |       |   |   | | refJoin <hidden>
|   |   |   | | | |   |   |   |   | | |       |       |   |   | catchException "fail"
|   |   |   | | | |   |   |   |   | | |       |       |   |   |   <try>
|   |   |   | | | |   |   |   |   | | |       |       |   |   |   | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> Term))))
|   |   |   | | | |   |   |   |   | | |       |       |   |   |   | call <hidden>
|   |   |   | | | |   |   |   |   | | |       |       |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | |       |       |   |   |   | call <hidden>
|   |   |   | | | |   |   |   |   | | |       |       |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | |       |       |   |   |   | <hidden>:
|   |   |   | | | |   |   |   |   | | |       |       |   |   |   | | catchException "fail"
|   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |   <try>
|   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |   | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
|   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |   | call <hidden>
|   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |   | call <hidden>
|   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |   | call <hidden>
|   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |   | 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))
|   |   |   | | | |   |   |   |   | | |       |       |   |   |   | call <hidden>
|   |   |   | | | |   |   |   |   | | |       |       |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | |       |       |   |   |   | popException "fail"
|   |   |   | | | |   |   |   |   | | |       |       |   |   |   | refJoin <hidden>
|   |   |   | | | |   |   |   |   | | |       |       |   |   |   <handler>
|   |   |   | | | |   |   |   |   | | |       |       |   |   |     pushInput
|   |   |   | | | |   |   |   |   | | |       |       |   |   |     lift2Value Term
|   |   |   | | | |   |   |   |   | | |       |       |   |   |     choicesBranch [(\u1 -> u1)]
|   |   |   | | | |   |   |   |   | | |       |       |   |   |       <branch>
|   |   |   | | | |   |   |   |   | | |       |       |   |   |       | call <hidden>
|   |   |   | | | |   |   |   |   | | |       |       |   |   |       | refJoin <hidden>
|   |   |   | | | |   |   |   |   | | |       |       |   |   |       <default>
|   |   |   | | | |   |   |   |   | | |       |       |   |   |         raiseException "fail"
|   |   |   | | | |   |   |   |   | | |       |       |   |   <handler>
|   |   |   | | | |   |   |   |   | | |       |       |   |     pushInput
|   |   |   | | | |   |   |   |   | | |       |       |   |     lift2Value Term
|   |   |   | | | |   |   |   |   | | |       |       |   |     choicesBranch [(\u1 -> u1)]
|   |   |   | | | |   |   |   |   | | |       |       |   |       <branch>
|   |   |   | | | |   |   |   |   | | |       |       |   |       | call <hidden>
|   |   |   | | | |   |   |   |   | | |       |       |   |       | refJoin <hidden>
|   |   |   | | | |   |   |   |   | | |       |       |   |       <default>
|   |   |   | | | |   |   |   |   | | |       |       |   |         raiseException "fail"
|   |   |   | | | |   |   |   |   | | |       |       |   <handler>
|   |   |   | | | |   |   |   |   | | |       |       |     pushInput
|   |   |   | | | |   |   |   |   | | |       |       |     lift2Value Term
|   |   |   | | | |   |   |   |   | | |       |       |     choicesBranch [(\u1 -> u1)]
|   |   |   | | | |   |   |   |   | | |       |       |       <branch>
|   |   |   | | | |   |   |   |   | | |       |       |       | call <hidden>
|   |   |   | | | |   |   |   |   | | |       |       |       | refJoin <hidden>
|   |   |   | | | |   |   |   |   | | |       |       |       <default>
|   |   |   | | | |   |   |   |   | | |       |       |         raiseException "fail"
|   |   |   | | | |   |   |   |   | | |       |       <default>
|   |   |   | | | |   |   |   |   | | |       |         raiseException "fail"
|   |   |   | | | |   |   |   |   | | |       <default>
|   |   |   | | | |   |   |   |   | | |         raiseException "fail"
|   |   |   | | | |   |   |   |   | | call <hidden>
|   |   |   | | | |   |   |   |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | call <hidden>
|   |   |   | | | |   |   |   |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | <hidden>:
|   |   |   | | | |   |   |   |   | | | catchException "fail"
|   |   |   | | | |   |   |   |   | | |   <try>
|   |   |   | | | |   |   |   |   | | |   | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> u4 u5)))))
|   |   |   | | | |   |   |   |   | | |   | read ('!' ==)
|   |   |   | | | |   |   |   |   | | |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | |   | call <hidden>
|   |   |   | | | |   |   |   |   | | |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | |   | call <hidden>
|   |   |   | | | |   |   |   |   | | |   | 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))
|   |   |   | | | |   |   |   |   | | call <hidden>
|   |   |   | | | |   |   |   |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | ret
|   |   |   | | | |   |   |   |   | call <hidden>
|   |   |   | | | |   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | call <hidden>
|   |   |   | | | |   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | <hidden>:
|   |   |   | | | |   |   |   |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   | | popException "fail"
|   |   |   | | | |   |   |   |   | | refJoin <hidden>
|   |   |   | | | |   |   |   |   | catchException "fail"
|   |   |   | | | |   |   |   |   |   <try>
|   |   |   | | | |   |   |   |   |   | pushValue (\u1 -> (\u2 -> (\u3 -> Term)))
|   |   |   | | | |   |   |   |   |   | catchException "fail"
|   |   |   | | | |   |   |   |   |   |   <try>
|   |   |   | | | |   |   |   |   |   |   | pushValue (\u1 -> (\u2 -> u2))
|   |   |   | | | |   |   |   |   |   |   | catchException "fail"
|   |   |   | | | |   |   |   |   |   |   |   <try>
|   |   |   | | | |   |   |   |   |   |   |   | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> 'e' : ('l' : ('s' : ('e' : u5))))))))
|   |   |   | | | |   |   |   |   |   |   |   | read ('e' ==)
|   |   |   | | | |   |   |   |   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   |   |   |   | read ('l' ==)
|   |   |   | | | |   |   |   |   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   |   |   |   | read ('s' ==)
|   |   |   | | | |   |   |   |   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   |   |   |   | read ('e' ==)
|   |   |   | | | |   |   |   |   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   |   |   |   | call <hidden>
|   |   |   | | | |   |   |   |   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   |   |   |   | popException "fail"
|   |   |   | | | |   |   |   |   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   |   |   |   | call <hidden>
|   |   |   | | | |   |   |   |   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   |   |   |   | popException "fail"
|   |   |   | | | |   |   |   |   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   |   |   |   | call <hidden>
|   |   |   | | | |   |   |   |   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   |   |   |   | call <hidden>
|   |   |   | | | |   |   |   |   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |   |   |   |   |   |   | popException "fail"
|   |   |   | | | |   |   |   |   |   |   |   | refJoin <hidden>
|   |   |   | | | |   |   |   |   |   |   |   <handler>
|   |   |   | | | |   |   |   |   |   |   |     loadInput
|   |   |   | | | |   |   |   |   |   |   |     raiseException "fail"
|   |   |   | | | |   |   |   |   |   |   <handler>
|   |   |   | | | |   |   |   |   |   |     loadInput
|   |   |   | | | |   |   |   |   |   |     raiseException "fail"
|   |   |   | | | |   |   |   |   |   <handler>
|   |   |   | | | |   |   |   |   |     pushInput
|   |   |   | | | |   |   |   |   |     lift2Value Term
|   |   |   | | | |   |   |   |   |     choicesBranch [(\u1 -> u1)]
|   |   |   | | | |   |   |   |   |       <branch>
|   |   |   | | | |   |   |   |   |       | call <hidden>
|   |   |   | | | |   |   |   |   |       | refJoin <hidden>
|   |   |   | | | |   |   |   |   |       <default>
|   |   |   | | | |   |   |   |   |         raiseException "fail"
|   |   |   | | | |   |   |   |   <handler>
|   |   |   | | | |   |   |   |     loadInput
|   |   |   | | | |   |   |   |     raiseException "fail"
|   |   |   | | | |   |   |   <handler>
|   |   |   | | | |   |   |     loadInput
|   |   |   | | | |   |   |     raiseException "fail"
|   |   |   | | | |   |   <handler>
|   |   |   | | | |   |     pushInput
|   |   |   | | | |   |     lift2Value Term
|   |   |   | | | |   |     choicesBranch [(\u1 -> u1)]
|   |   |   | | | |   |       <branch>
|   |   |   | | | |   |       | catchException "fail"
|   |   |   | | | |   |       |   <try>
|   |   |   | | | |   |       |   | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
|   |   |   | | | |   |       |   | catchException "fail"
|   |   |   | | | |   |       |   |   <try>
|   |   |   | | | |   |       |   |   | pushValue (\u1 -> (\u2 -> u2))
|   |   |   | | | |   |       |   |   | catchException "fail"
|   |   |   | | | |   |       |   |   |   <try>
|   |   |   | | | |   |       |   |   |   | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> 'w' : ('h' : ('i' : ('l' : ('e' : u6))))))))))
|   |   |   | | | |   |       |   |   |   | read ('w' ==)
|   |   |   | | | |   |       |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |   |   |   | read ('h' ==)
|   |   |   | | | |   |       |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |   |   |   | read ('i' ==)
|   |   |   | | | |   |       |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |   |   |   | read ('l' ==)
|   |   |   | | | |   |       |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |   |   |   | read ('e' ==)
|   |   |   | | | |   |       |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |   |   |   | call <hidden>
|   |   |   | | | |   |       |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |   |   |   | popException "fail"
|   |   |   | | | |   |       |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |   |   |   | call <hidden>
|   |   |   | | | |   |       |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |   |   |   | popException "fail"
|   |   |   | | | |   |       |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |   |   |   | call <hidden>
|   |   |   | | | |   |       |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |   |   |   | call <hidden>
|   |   |   | | | |   |       |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |   |   |   | call <hidden>
|   |   |   | | | |   |       |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |   |   |   | popException "fail"
|   |   |   | | | |   |       |   |   |   | refJoin <hidden>
|   |   |   | | | |   |       |   |   |   <handler>
|   |   |   | | | |   |       |   |   |     loadInput
|   |   |   | | | |   |       |   |   |     raiseException "fail"
|   |   |   | | | |   |       |   |   <handler>
|   |   |   | | | |   |       |   |     loadInput
|   |   |   | | | |   |       |   |     raiseException "fail"
|   |   |   | | | |   |       |   <handler>
|   |   |   | | | |   |       |     pushInput
|   |   |   | | | |   |       |     lift2Value Term
|   |   |   | | | |   |       |     choicesBranch [(\u1 -> u1)]
|   |   |   | | | |   |       |       <branch>
|   |   |   | | | |   |       |       | catchException "fail"
|   |   |   | | | |   |       |       |   <try>
|   |   |   | | | |   |       |       |   | catchException "fail"
|   |   |   | | | |   |       |       |   |   <try>
|   |   |   | | | |   |       |       |   |   | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> (\u9 -> (\u10 -> (\u11 -> (\u12 -> u11))))))))))))
|   |   |   | | | |   |       |       |   |   | <hidden>:
|   |   |   | | | |   |       |       |   |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |       |   |   | | call <hidden>
|   |   |   | | | |   |       |       |   |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |       |   |   | | call <hidden>
|   |   |   | | | |   |       |       |   |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |       |   |   | | <hidden>:
|   |   |   | | | |   |       |       |   |   | | | catchException "fail"
|   |   |   | | | |   |       |       |   |   | | |   <try>
|   |   |   | | | |   |       |       |   |   | | |   | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
|   |   |   | | | |   |       |       |   |   | | |   | call <hidden>
|   |   |   | | | |   |       |       |   |   | | |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |       |   |   | | |   | call <hidden>
|   |   |   | | | |   |       |       |   |   | | |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |       |   |   | | |   | call <hidden>
|   |   |   | | | |   |       |       |   |   | | |   | 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))
|   |   |   | | | |   |       |       |   |   | | call <hidden>
|   |   |   | | | |   |       |       |   |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |       |   |   | | read ('=' ==)
|   |   |   | | | |   |       |       |   |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |       |   |   | | call <hidden>
|   |   |   | | | |   |       |       |   |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |       |   |   | | call <hidden>
|   |   |   | | | |   |       |       |   |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |       |   |   | | call <hidden>
|   |   |   | | | |   |       |       |   |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |       |   |   | | <hidden>:
|   |   |   | | | |   |       |       |   |   | | | catchException "fail"
|   |   |   | | | |   |       |       |   |   | | |   <try>
|   |   |   | | | |   |       |       |   |   | | |   | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
|   |   |   | | | |   |       |       |   |   | | |   | call <hidden>
|   |   |   | | | |   |       |       |   |   | | |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |       |   |   | | |   | call <hidden>
|   |   |   | | | |   |       |       |   |   | | |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |       |   |   | | |   | call <hidden>
|   |   |   | | | |   |       |       |   |   | | |   | 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))
|   |   |   | | | |   |       |       |   |   | | call <hidden>
|   |   |   | | | |   |       |       |   |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |       |   |   | | <hidden>:
|   |   |   | | | |   |       |       |   |   | | | pushValue (\u1 -> (\u2 -> ';'))
|   |   |   | | | |   |       |       |   |   | | | read (';' ==)
|   |   |   | | | |   |       |       |   |   | | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |       |   |   | | | call <hidden>
|   |   |   | | | |   |       |       |   |   | | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |       |   |   | | | ret
|   |   |   | | | |   |       |       |   |   | | call <hidden>
|   |   |   | | | |   |       |       |   |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |       |   |   | | popException "fail"
|   |   |   | | | |   |       |       |   |   | | popException "fail"
|   |   |   | | | |   |       |       |   |   | | refJoin <hidden>
|   |   |   | | | |   |       |       |   |   | catchException "fail"
|   |   |   | | | |   |       |       |   |   |   <try>
|   |   |   | | | |   |       |       |   |   |   | pushValue (\u1 -> (\u2 -> Term))
|   |   |   | | | |   |       |       |   |   |   | catchException "fail"
|   |   |   | | | |   |       |       |   |   |   |   <try>
|   |   |   | | | |   |       |       |   |   |   |   | pushValue (\u1 -> (\u2 -> u2))
|   |   |   | | | |   |       |       |   |   |   |   | catchException "fail"
|   |   |   | | | |   |       |       |   |   |   |   |   <try>
|   |   |   | | | |   |       |       |   |   |   |   |   | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> 'v' : ('a' : ('r' : u4))))))
|   |   |   | | | |   |       |       |   |   |   |   |   | read ('v' ==)
|   |   |   | | | |   |       |       |   |   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |       |   |   |   |   |   | read ('a' ==)
|   |   |   | | | |   |       |       |   |   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |       |   |   |   |   |   | read ('r' ==)
|   |   |   | | | |   |       |       |   |   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |       |   |   |   |   |   | call <hidden>
|   |   |   | | | |   |       |       |   |   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |       |   |   |   |   |   | popException "fail"
|   |   |   | | | |   |       |       |   |   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |       |   |   |   |   |   | call <hidden>
|   |   |   | | | |   |       |       |   |   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |       |   |   |   |   |   | popException "fail"
|   |   |   | | | |   |       |       |   |   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |       |   |   |   |   |   | call <hidden>
|   |   |   | | | |   |       |       |   |   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |       |   |   |   |   |   | popException "fail"
|   |   |   | | | |   |       |       |   |   |   |   |   | refJoin <hidden>
|   |   |   | | | |   |       |       |   |   |   |   |   <handler>
|   |   |   | | | |   |       |       |   |   |   |   |     loadInput
|   |   |   | | | |   |       |       |   |   |   |   |     raiseException "fail"
|   |   |   | | | |   |       |       |   |   |   |   <handler>
|   |   |   | | | |   |       |       |   |   |   |     loadInput
|   |   |   | | | |   |       |       |   |   |   |     raiseException "fail"
|   |   |   | | | |   |       |       |   |   |   <handler>
|   |   |   | | | |   |       |       |   |   |     pushInput
|   |   |   | | | |   |       |       |   |   |     lift2Value Term
|   |   |   | | | |   |       |       |   |   |     choicesBranch [(\u1 -> u1)]
|   |   |   | | | |   |       |       |   |   |       <branch>
|   |   |   | | | |   |       |       |   |   |       | call <hidden>
|   |   |   | | | |   |       |       |   |   |       | refJoin <hidden>
|   |   |   | | | |   |       |       |   |   |       <default>
|   |   |   | | | |   |       |       |   |   |         raiseException "fail"
|   |   |   | | | |   |       |       |   |   <handler>
|   |   |   | | | |   |       |       |   |     loadInput
|   |   |   | | | |   |       |       |   |     raiseException "fail"
|   |   |   | | | |   |       |       |   <handler>
|   |   |   | | | |   |       |       |     pushInput
|   |   |   | | | |   |       |       |     lift2Value Term
|   |   |   | | | |   |       |       |     choicesBranch [(\u1 -> u1)]
|   |   |   | | | |   |       |       |       <branch>
|   |   |   | | | |   |       |       |       | pushValue (\u1 -> (\u2 -> u1))
|   |   |   | | | |   |       |       |       | call <hidden>
|   |   |   | | | |   |       |       |       | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |       |       | call <hidden>
|   |   |   | | | |   |       |       |       | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | |   |       |       |       | refJoin <hidden>
|   |   |   | | | |   |       |       |       <default>
|   |   |   | | | |   |       |       |         raiseException "fail"
|   |   |   | | | |   |       |       <default>
|   |   |   | | | |   |       |         raiseException "fail"
|   |   |   | | | |   |       <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))
|   |   |   | | | call <hidden>
|   |   |   | | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | read ('}' ==)
|   |   |   | | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | call <hidden>
|   |   |   | | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | | ret
|   |   |   | | call <hidden>
|   |   |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | call <hidden>
|   |   |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   | | popException "fail"
|   |   |   | | ret
|   |   |   | catchException "fail"
|   |   |   |   <try>
|   |   |   |   | pushValue (\u1 -> (\u2 -> (\u3 -> Term)))
|   |   |   |   | read (':' ==)
|   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   |   | call <hidden>
|   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   |   | call <hidden>
|   |   |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   |   |   | popException "fail"
|   |   |   |   | refJoin <hidden>
|   |   |   |   <handler>
|   |   |   |     pushInput
|   |   |   |     lift2Value Term
|   |   |   |     choicesBranch [(\u1 -> u1)]
|   |   |   |       <branch>
|   |   |   |       | call <hidden>
|   |   |   |       | refJoin <hidden>
|   |   |   |       <default>
|   |   |   |         raiseException "fail"
|   |   |   <handler>
|   |   |     loadInput
|   |   |     raiseException "fail"
|   |   <handler>
|   |     loadInput
|   |     raiseException "fail"
|   <handler>
|     pushInput
|     lift2Value Term
|     choicesBranch [(\u1 -> u1)]
|       <branch>
|       | pushValue (\u1 -> u1)
|       | ret
|       <default>
|         raiseException "fail"
call <hidden>
lift2Value (\u1 -> (\u2 -> u1 u2))
call <hidden>
lift2Value (\u1 -> (\u2 -> u1 u2))
<hidden>:
| lift2Value (\u1 -> (\u2 -> u1 u2))
| ret
catchException "fail"
  <try>
  | catchException "fail"
  |   <try>
  |   | pushInput
  |   | read (\u1 -> Term)
  |   | popValue
  |   | popException "fail"
  |   | loadInput
  |   | raiseException "fail"
  |   <handler>
  |     loadInput
  |     pushValue Term
  |     popException "fail"
  |     refJoin <hidden>
  <handler>
    pushInput
    lift2Value Term
    choicesBranch [(\u1 -> u1)]
      <branch>
      | raiseException "fail"
      <default>
        raiseException "fail"