let <hidden>
  minReads=(Right 0)
  mayRaise=[ExceptionFailure]
| call <hidden>
|   minReads=(Right 0)
|   mayRaise=[ExceptionFailure]
| pushValue Term
|   minReads=(Right 0)
|   mayRaise=[]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[]
| ret
|   minReads=(Right 0)
|   mayRaise=[]
let <hidden>
  minReads=(Right 0)
  mayRaise=[ExceptionFailure]
| catch ExceptionFailure
|   minReads=(Right 0)
|   mayRaise=[ExceptionFailure]
| | <ok>
| | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
| | |   minReads=(Right 1)
| | |   mayRaise=[ExceptionFailure]
| | | pushValue (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
| | |   minReads=(Right 1)
| | |   mayRaise=[ExceptionFailure]
| | | pushValue (\u1 -> (\u2 -> u1))
| | |   minReads=(Right 1)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 1)
| | |   mayRaise=[ExceptionFailure]
| | | read Term
| | |   minReads=(Right 1)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[ExceptionFailure]
| | | call <hidden>
| | |   minReads=(Right 0)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | commit ExceptionFailure
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | ret
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | <ko>
| | | pushInput
| | |   minReads=(Right 0)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value Term
| | |   minReads=(Right 0)
| | |   mayRaise=[ExceptionFailure]
| | | choicesBranch [(\u1 -> u1)]
| | |   minReads=(Right 0)
| | |   mayRaise=[ExceptionFailure]
| | | | <branch>
| | | | | pushValue (\u1 -> u1)
| | | | |   minReads=(Right 0)
| | | | |   mayRaise=[]
| | | | | ret
| | | | |   minReads=(Right 0)
| | | | |   mayRaise=[]
| | | | <default>
| | | | | fail []
| | | | |   minReads=(Left ExceptionFailure)
| | | | |   mayRaise=[ExceptionFailure]
let <hidden>
  minReads=(Right 0)
  mayRaise=[ExceptionFailure]
| catch ExceptionFailure
|   minReads=(Right 0)
|   mayRaise=[ExceptionFailure]
| | <ok>
| | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
| | |   minReads=(Right 1)
| | |   mayRaise=[ExceptionFailure]
| | | pushValue cons
| | |   minReads=(Right 1)
| | |   mayRaise=[ExceptionFailure]
| | | pushValue (\u1 -> (\u2 -> u1))
| | |   minReads=(Right 1)
| | |   mayRaise=[ExceptionFailure]
| | | join <hidden>
| | |   minReads=(Right 0)
| | |   mayRaise=[ExceptionFailure]
| | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | |   minReads=(Right 0)
| | | |   mayRaise=[ExceptionFailure]
| | | | call <hidden>
| | | |   minReads=(Right 0)
| | | |   mayRaise=[ExceptionFailure]
| | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | |   minReads=(Right 0)
| | | |   mayRaise=[ExceptionFailure]
| | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | |   minReads=(Right 0)
| | | |   mayRaise=[ExceptionFailure]
| | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | |   minReads=(Right 0)
| | | |   mayRaise=[ExceptionFailure]
| | | | call <hidden>
| | | |   minReads=(Right 0)
| | | |   mayRaise=[ExceptionFailure]
| | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | |   minReads=(Right 0)
| | | |   mayRaise=[]
| | | | commit ExceptionFailure
| | | |   minReads=(Right 0)
| | | |   mayRaise=[]
| | | | ret
| | | |   minReads=(Right 0)
| | | |   mayRaise=[]
| | | pushInput
| | |   minReads=(Right 1)
| | |   mayRaise=[ExceptionFailure]
| | | read ((\u1 -> (\u2 -> u1)) Term)
| | |   minReads=(Right 1)
| | |   mayRaise=[ExceptionFailure]
| | | swapValue
| | |   minReads=(Right 0)
| | |   mayRaise=[ExceptionFailure]
| | | loadInput
| | |   minReads=(Right 0)
| | |   mayRaise=[ExceptionFailure]
| | | choicesBranch [(Term ==),(Term ==),(Term ==),(Term ==),(Term ==),(Term ==),(Term ==)]
| | |   minReads=(Right 1)
| | |   mayRaise=[ExceptionFailure]
| | | | <branch>
| | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue Term
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | read ((\u1 -> (\u2 -> u1)) Term)
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 0)
| | | | |   mayRaise=[]
| | | | | refJoin <hidden>
| | | | |   minReads=(Right 0)
| | | | |   mayRaise=[]
| | | | <branch>
| | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue Term
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | read ((\u1 -> (\u2 -> u1)) Term)
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 0)
| | | | |   mayRaise=[]
| | | | | refJoin <hidden>
| | | | |   minReads=(Right 0)
| | | | |   mayRaise=[]
| | | | <branch>
| | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue Term
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | read ((\u1 -> (\u2 -> u1)) Term)
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 0)
| | | | |   mayRaise=[]
| | | | | refJoin <hidden>
| | | | |   minReads=(Right 0)
| | | | |   mayRaise=[]
| | | | <branch>
| | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue Term
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | read ((\u1 -> (\u2 -> u1)) Term)
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 0)
| | | | |   mayRaise=[]
| | | | | refJoin <hidden>
| | | | |   minReads=(Right 0)
| | | | |   mayRaise=[]
| | | | <branch>
| | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue Term
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | read ((\u1 -> (\u2 -> u1)) Term)
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 0)
| | | | |   mayRaise=[]
| | | | | refJoin <hidden>
| | | | |   minReads=(Right 0)
| | | | |   mayRaise=[]
| | | | <branch>
| | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue Term
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | read ((\u1 -> (\u2 -> u1)) Term)
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 0)
| | | | |   mayRaise=[]
| | | | | refJoin <hidden>
| | | | |   minReads=(Right 0)
| | | | |   mayRaise=[]
| | | | <branch>
| | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | |   minReads=(Right 2)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | |   minReads=(Right 2)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue (\u1 -> u1)
| | | | |   minReads=(Right 2)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 2)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | |   minReads=(Right 2)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | read ((\u1 -> (\u2 -> u1)) Term)
| | | | |   minReads=(Right 2)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | call <hidden>
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue Term
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | call <hidden>
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue ']'
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | read (']' ==)
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 0)
| | | | |   mayRaise=[]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 0)
| | | | |   mayRaise=[]
| | | | | refJoin <hidden>
| | | | |   minReads=(Right 0)
| | | | |   mayRaise=[]
| | | | <default>
| | | | | fail [FailureEmpty]
| | | | |   minReads=(Left ExceptionFailure)
| | | | |   mayRaise=[ExceptionFailure]
| | <ko>
| | | pushInput
| | |   minReads=(Right 0)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value Term
| | |   minReads=(Right 0)
| | |   mayRaise=[ExceptionFailure]
| | | choicesBranch [(\u1 -> u1)]
| | |   minReads=(Right 0)
| | |   mayRaise=[ExceptionFailure]
| | | | <branch>
| | | | | pushValue (\u1 -> u1)
| | | | |   minReads=(Right 0)
| | | | |   mayRaise=[]
| | | | | ret
| | | | |   minReads=(Right 0)
| | | | |   mayRaise=[]
| | | | <default>
| | | | | fail []
| | | | |   minReads=(Left ExceptionFailure)
| | | | |   mayRaise=[ExceptionFailure]
let <hidden>
  minReads=(Right 0)
  mayRaise=[ExceptionFailure]
| pushValue (\u1 -> (\u2 -> u1))
|   minReads=(Right 0)
|   mayRaise=[ExceptionFailure]
| pushValue (\u1 -> u1)
|   minReads=(Right 0)
|   mayRaise=[ExceptionFailure]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[ExceptionFailure]
| pushValue ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
|   minReads=(Right 0)
|   mayRaise=[ExceptionFailure]
| pushValue Term
|   minReads=(Right 0)
|   mayRaise=[ExceptionFailure]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[ExceptionFailure]
| call <hidden>
|   minReads=(Right 0)
|   mayRaise=[ExceptionFailure]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[]
| pushValue Term
|   minReads=(Right 0)
|   mayRaise=[]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[]
| ret
|   minReads=(Right 0)
|   mayRaise=[]
pushValue Term
  minReads=(Right 0)
  mayRaise=[ExceptionFailure]
pushValue (\u1 -> (\u2 -> u1))
  minReads=(Right 0)
  mayRaise=[ExceptionFailure]
pushValue (\u1 -> u1)
  minReads=(Right 0)
  mayRaise=[ExceptionFailure]
lift2Value (\u1 -> (\u2 -> u1 u2))
  minReads=(Right 0)
  mayRaise=[ExceptionFailure]
call <hidden>
  minReads=(Right 0)
  mayRaise=[ExceptionFailure]
lift2Value (\u1 -> (\u2 -> u1 u2))
  minReads=(Right 0)
  mayRaise=[ExceptionFailure]
call <hidden>
  minReads=(Right 0)
  mayRaise=[ExceptionFailure]
lift2Value (\u1 -> (\u2 -> u1 u2))
  minReads=(Right 0)
  mayRaise=[]
lift2Value (\u1 -> (\u2 -> u1 u2))
  minReads=(Right 0)
  mayRaise=[]
ret
  minReads=(Right 0)
  mayRaise=[]