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