pushValue (\u1 -> (\u2 -> 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))
  | | ret
  | 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"