pushValue (\u1 -> (\u2 -> (\u3 -> u1 : u2 Term)))
catchException "fail"
  <try>
  | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> 'a' : ('b' : ('c' : ('d' : Term)))))))
  | read ('a' ==)
  | lift2Value (\u1 -> (\u2 -> u1 u2))
  | read ('b' ==)
  | lift2Value (\u1 -> (\u2 -> u1 u2))
  | read ('c' ==)
  | lift2Value (\u1 -> (\u2 -> u1 u2))
  | read ('d' ==)
  | lift2Value (\u1 -> (\u2 -> u1 u2))
  | popException "fail"
  | lift2Value (\u1 -> (\u2 -> u1 u2))
  | <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)))
  |   | 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>
  |       | pushValue (\u1 -> u1)
  |       | refJoin <hidden>
  |       <default>
  |         raiseException "fail"
  <handler>
    loadInput
    raiseException "fail"