pushValue (\u1 -> (\u2 -> u2 Term))
<hidden>:
| lift2Value (\u1 -> (\u2 -> u1 u2))
| <hidden>:
| | lift2Value (\u1 -> (\u2 -> u1 u2))
| | ret
| catchException "fail"
|   <try>
|   | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4)))))
|   | <hidden>:
|   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   | | call <hidden>
|   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   | | call <hidden>
|   | | lift2Value (\u1 -> (\u2 -> u1 u2))
|   | | popException "fail"
|   | | refJoin <hidden>
|   | pushInput
|   | read ((\u1 -> (\u2 -> u1)) Term)
|   | swapValue
|   | loadInput
|   | choicesBranch [(Term ==),(Term ==),(Term ==),(Term ==),(Term ==),(Term ==),(Term ==)]
|   |   <branch>
|   |   | pushValue (\u1 -> (\u2 -> cons Term))
|   |   | read ((\u1 -> (\u2 -> u1)) Term)
|   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   | refJoin <hidden>
|   |   <branch>
|   |   | pushValue (\u1 -> (\u2 -> cons Term))
|   |   | read ((\u1 -> (\u2 -> u1)) Term)
|   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   | refJoin <hidden>
|   |   <branch>
|   |   | pushValue (\u1 -> (\u2 -> cons Term))
|   |   | read ((\u1 -> (\u2 -> u1)) Term)
|   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   | refJoin <hidden>
|   |   <branch>
|   |   | pushValue (\u1 -> (\u2 -> cons Term))
|   |   | read ((\u1 -> (\u2 -> u1)) Term)
|   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   | refJoin <hidden>
|   |   <branch>
|   |   | pushValue (\u1 -> (\u2 -> cons Term))
|   |   | read ((\u1 -> (\u2 -> u1)) Term)
|   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   | refJoin <hidden>
|   |   <branch>
|   |   | pushValue (\u1 -> (\u2 -> cons Term))
|   |   | read ((\u1 -> (\u2 -> u1)) Term)
|   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   | refJoin <hidden>
|   |   <branch>
|   |   | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> cons (Term u3))))))
|   |   | read ((\u1 -> (\u2 -> u1)) Term)
|   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   | call <hidden>
|   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   | call <hidden>
|   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   | read (']' ==)
|   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   |   | refJoin <hidden>
|   |   <default>
|   |     raiseException "fail"
|   <handler>
|     pushInput
|     lift2Value Term
|     choicesBranch [(\u1 -> u1)]
|       <branch>
|       | pushValue (\u1 -> u1)
|       | refJoin <hidden>
|       <default>
|         raiseException "fail"
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"
  | refJoin <hidden>
  <handler>
    pushInput
    lift2Value Term
    choicesBranch [(\u1 -> u1)]
      <branch>
      | pushValue (\u1 -> u1)
      | refJoin <hidden>
      <default>
        raiseException "fail"