pushValue (\u1 -> (\u2 -> (\u3 -> u1 : u2 Term)))
name_830:
| 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"
|   | ret
|   <handler>
|     loadInput
|     raiseException "fail"
call name_830
lift2Value (\u1 -> (\u2 -> u1 u2))
name_831:
| catchException "fail"
|   <try>
|   | pushValue (\u1 -> (\u2 -> (\u3 -> u1 : u2 u3)))
|   | call name_830
|   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   | call name_831
|   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   | popException "fail"
|   | ret
|   <handler>
|     pushInput
|     lift2Value Term
|     choicesBranch [(\u1 -> u1)]
|       <branch>
|       | pushValue (\u1 -> u1)
|       | ret
|       <default>
|         raiseException "fail"
call name_831
lift2Value (\u1 -> (\u2 -> u1 u2))
join_879:
| 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 join_879
  <handler>
    pushInput
    lift2Value Term
    choicesBranch [(\u1 -> u1)]
      <branch>
      | raiseException "fail"
      <default>
        raiseException "fail"