pushValue (\u1 -> (\u2 -> u1 Term))
<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"
catchException "fail"
  <try>
  | pushValue (\u1 -> (\u2 -> (\u3 -> u1 : u2 u3)))
  | 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 -> u1)
      | refJoin <hidden>
      <default>
        raiseException "fail"