let <hidden>
  minReads=(Right 0)
  mayRaise=[]
| catch ExceptionFailure
|   minReads=(Right 0)
|   mayRaise=[]
| | <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]
| | | call <hidden>
| | |   minReads=(Right 1)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | call <hidden>
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | 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 fromList []
| | | | |   minReads=(Left ExceptionFailure)
| | | | |   mayRaise=[ExceptionFailure]
let <hidden>
  minReads=(Right 0)
  mayRaise=[]
| catch ExceptionFailure
|   minReads=(Right 0)
|   mayRaise=[]
| | <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]
| | | call <hidden>
| | |   minReads=(Right 1)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | call <hidden>
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | 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 fromList []
| | | | |   minReads=(Left ExceptionFailure)
| | | | |   mayRaise=[ExceptionFailure]
let <hidden>
  minReads=(Right 0)
  mayRaise=[]
| catch ExceptionFailure
|   minReads=(Right 0)
|   mayRaise=[]
| | <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=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | call <hidden>
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | 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 fromList []
| | | | |   minReads=(Left ExceptionFailure)
| | | | |   mayRaise=[ExceptionFailure]
let <hidden>
  minReads=(Right 0)
  mayRaise=[]
| catch ExceptionFailure
|   minReads=(Right 0)
|   mayRaise=[]
| | <ok>
| | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
| | |   minReads=(Right 18)
| | |   mayRaise=[]
| | | pushValue (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
| | |   minReads=(Right 18)
| | |   mayRaise=[]
| | | pushValue (\u1 -> (\u2 -> u1))
| | |   minReads=(Right 18)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 18)
| | |   mayRaise=[]
| | | pushValue (\u1 -> (\u2 -> u1))
| | |   minReads=(Right 18)
| | |   mayRaise=[]
| | | pushValue (\u1 -> u1)
| | |   minReads=(Right 18)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 18)
| | |   mayRaise=[]
| | | pushValue (\u1 -> (\u2 -> u1))
| | |   minReads=(Right 18)
| | |   mayRaise=[]
| | | pushValue (\u1 -> u1)
| | |   minReads=(Right 18)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 18)
| | |   mayRaise=[]
| | | pushValue (\u1 -> (\u2 -> u1))
| | |   minReads=(Right 18)
| | |   mayRaise=[]
| | | pushValue (\u1 -> u1)
| | |   minReads=(Right 18)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 18)
| | |   mayRaise=[]
| | | pushValue (\u1 -> (\u2 -> u1))
| | |   minReads=(Right 18)
| | |   mayRaise=[]
| | | pushValue (\u1 -> u1)
| | |   minReads=(Right 18)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 18)
| | |   mayRaise=[]
| | | catch ExceptionFailure
| | |   minReads=(Right 18)
| | |   mayRaise=[]
| | | | <ok>
| | | | | pushValue cons
| | | | |   minReads=(Right 18)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | |   minReads=(Right 18)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue 'f'
| | | | |   minReads=(Right 18)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 18)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | read ('f' ==)
| | | | |   minReads=(Right 18)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 17)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 17)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue cons
| | | | |   minReads=(Right 17)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | |   minReads=(Right 17)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue 'u'
| | | | |   minReads=(Right 17)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 17)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | read ('u' ==)
| | | | |   minReads=(Right 17)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 16)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 16)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue cons
| | | | |   minReads=(Right 16)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | |   minReads=(Right 16)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue 'n'
| | | | |   minReads=(Right 16)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 16)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | read ('n' ==)
| | | | |   minReads=(Right 16)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 15)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 15)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue cons
| | | | |   minReads=(Right 15)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | |   minReads=(Right 15)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue 'c'
| | | | |   minReads=(Right 15)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 15)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | read ('c' ==)
| | | | |   minReads=(Right 15)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 14)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 14)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue cons
| | | | |   minReads=(Right 14)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | |   minReads=(Right 14)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue 't'
| | | | |   minReads=(Right 14)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 14)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | read ('t' ==)
| | | | |   minReads=(Right 14)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 13)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 13)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue cons
| | | | |   minReads=(Right 13)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | |   minReads=(Right 13)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue 'i'
| | | | |   minReads=(Right 13)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 13)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | read ('i' ==)
| | | | |   minReads=(Right 13)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 12)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 12)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue cons
| | | | |   minReads=(Right 12)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | |   minReads=(Right 12)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue 'o'
| | | | |   minReads=(Right 12)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 12)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | read ('o' ==)
| | | | |   minReads=(Right 12)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 11)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 11)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue cons
| | | | |   minReads=(Right 11)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | |   minReads=(Right 11)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue 'n'
| | | | |   minReads=(Right 11)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 11)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | read ('n' ==)
| | | | |   minReads=(Right 11)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 10)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 10)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue Term
| | | | |   minReads=(Right 10)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 10)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 10)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 10)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 10)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 10)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 10)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 10)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 10)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | commit ExceptionFailure
| | | | |   minReads=(Right 10)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 10)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | call <hidden>
| | | | |   minReads=(Right 10)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 10)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 10)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | call <hidden>
| | | | |   minReads=(Right 10)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 8)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 8)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | |   minReads=(Right 8)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | |   minReads=(Right 8)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | pushValue (\u1 -> u1)
| | | | |   minReads=(Right 8)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 8)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | call <hidden>
| | | | |   minReads=(Right 8)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 6)
| | | | |   mayRaise=[]
| | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | |   minReads=(Right 6)
| | | | |   mayRaise=[]
| | | | | pushValue (\u1 -> u1)
| | | | |   minReads=(Right 6)
| | | | |   mayRaise=[]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 6)
| | | | |   mayRaise=[]
| | | | | call <hidden>
| | | | |   minReads=(Right 6)
| | | | |   mayRaise=[]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 2)
| | | | |   mayRaise=[]
| | | | | join <hidden>
| | | | |   minReads=(Right 6)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | |   minReads=(Right 6)
| | | | | |   mayRaise=[ExceptionFailure]
| | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | |   minReads=(Right 6)
| | | | | |   mayRaise=[ExceptionFailure]
| | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | |   minReads=(Right 6)
| | | | | |   mayRaise=[ExceptionFailure]
| | | | | | call <hidden>
| | | | | |   minReads=(Right 6)
| | | | | |   mayRaise=[ExceptionFailure]
| | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | |   minReads=(Right 4)
| | | | | |   mayRaise=[ExceptionFailure]
| | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | |   minReads=(Right 4)
| | | | | |   mayRaise=[ExceptionFailure]
| | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | |   minReads=(Right 4)
| | | | | |   mayRaise=[ExceptionFailure]
| | | | | | call <hidden>
| | | | | |   minReads=(Right 4)
| | | | | |   mayRaise=[ExceptionFailure]
| | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | |   minReads=(Right 0)
| | | | | |   mayRaise=[]
| | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | |   minReads=(Right 0)
| | | | | |   mayRaise=[]
| | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | |   minReads=(Right 0)
| | | | | |   mayRaise=[]
| | | | | | call <hidden>
| | | | | |   minReads=(Right 0)
| | | | | |   mayRaise=[]
| | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | |   minReads=(Right 0)
| | | | | |   mayRaise=[]
| | | | | | commit ExceptionFailure
| | | | | |   minReads=(Right 0)
| | | | | |   mayRaise=[]
| | | | | | ret
| | | | | |   minReads=(Right 0)
| | | | | |   mayRaise=[]
| | | | | catch ExceptionFailure
| | | | |   minReads=(Right 0)
| | | | |   mayRaise=[]
| | | | | | <ok>
| | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | |   minReads=(Right 2)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | pushValue Term
| | | | | | |   minReads=(Right 2)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | |   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]
| | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | |   minReads=(Right 2)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | pushValue ':'
| | | | | | |   minReads=(Right 2)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | |   minReads=(Right 2)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | read (':' ==)
| | | | | | |   minReads=(Right 2)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | |   minReads=(Right 1)
| | | | | | |   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 0)
| | | | | | |   mayRaise=[]
| | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | |   minReads=(Right 0)
| | | | | | |   mayRaise=[]
| | | | | | | call <hidden>
| | | | | | |   minReads=(Right 0)
| | | | | | |   mayRaise=[]
| | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | |   minReads=(Right 0)
| | | | | | |   mayRaise=[]
| | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | |   minReads=(Right 0)
| | | | | | |   mayRaise=[]
| | | | | | | commit ExceptionFailure
| | | | | | |   minReads=(Right 0)
| | | | | | |   mayRaise=[]
| | | | | | | refJoin <hidden>
| | | | | | |   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>
| | | | | | | | | call <hidden>
| | | | | | | | |   minReads=(Right 0)
| | | | | | | | |   mayRaise=[]
| | | | | | | | | refJoin <hidden>
| | | | | | | | |   minReads=(Right 0)
| | | | | | | | |   mayRaise=[]
| | | | | | | | <default>
| | | | | | | | | fail fromList []
| | | | | | | | |   minReads=(Left ExceptionFailure)
| | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | <ko>
| | | | | loadInput
| | | | |   minReads=(Left ExceptionFailure)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | fail fromList []
| | | | |   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 fromList []
| | | | |   minReads=(Left ExceptionFailure)
| | | | |   mayRaise=[ExceptionFailure]
let <hidden>
  minReads=(Right 0)
  mayRaise=[]
| catch ExceptionFailure
|   minReads=(Right 0)
|   mayRaise=[]
| | <ok>
| | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
| | |   minReads=(Right 2)
| | |   mayRaise=[]
| | | pushValue (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
| | |   minReads=(Right 2)
| | |   mayRaise=[]
| | | pushValue (\u1 -> (\u2 -> u1))
| | |   minReads=(Right 2)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 2)
| | |   mayRaise=[]
| | | join <hidden>
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | |   minReads=(Right 0)
| | | |   mayRaise=[]
| | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | |   minReads=(Right 0)
| | | |   mayRaise=[]
| | | | call <hidden>
| | | |   minReads=(Right 0)
| | | |   mayRaise=[]
| | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | |   minReads=(Right 0)
| | | |   mayRaise=[]
| | | | commit ExceptionFailure
| | | |   minReads=(Right 0)
| | | |   mayRaise=[]
| | | | ret
| | | |   minReads=(Right 0)
| | | |   mayRaise=[]
| | | catch ExceptionFailure
| | |   minReads=(Right 2)
| | |   mayRaise=[]
| | | | <ok>
| | | | | join <hidden>
| | | | |   minReads=(Right 0)
| | | | |   mayRaise=[]
| | | | | | commit ExceptionFailure
| | | | | |   minReads=(Right 0)
| | | | | |   mayRaise=[]
| | | | | | refJoin <hidden>
| | | | | |   minReads=(Right 0)
| | | | | |   mayRaise=[]
| | | | | catch ExceptionFailure
| | | | |   minReads=(Right 2)
| | | | |   mayRaise=[]
| | | | | | <ok>
| | | | | | | join <hidden>
| | | | | | |   minReads=(Right 0)
| | | | | | |   mayRaise=[]
| | | | | | | | commit ExceptionFailure
| | | | | | | |   minReads=(Right 0)
| | | | | | | |   mayRaise=[]
| | | | | | | | refJoin <hidden>
| | | | | | | |   minReads=(Right 0)
| | | | | | | |   mayRaise=[]
| | | | | | | catch ExceptionFailure
| | | | | | |   minReads=(Right 2)
| | | | | | |   mayRaise=[]
| | | | | | | | <ok>
| | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | |   minReads=(Right 2)
| | | | | | | | |   mayRaise=[]
| | | | | | | | | pushValue (\u1 -> u1)
| | | | | | | | |   minReads=(Right 2)
| | | | | | | | |   mayRaise=[]
| | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | |   minReads=(Right 2)
| | | | | | | | |   mayRaise=[]
| | | | | | | | | catch ExceptionFailure
| | | | | | | | |   minReads=(Right 2)
| | | | | | | | |   mayRaise=[]
| | | | | | | | | | <ok>
| | | | | | | | | | | pushValue cons
| | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | pushValue 'i'
| | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | read ('i' ==)
| | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | |   minReads=(Right 1)
| | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | |   minReads=(Right 1)
| | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | pushValue cons
| | | | | | | | | | |   minReads=(Right 1)
| | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | |   minReads=(Right 1)
| | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | pushValue 'f'
| | | | | | | | | | |   minReads=(Right 1)
| | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | |   minReads=(Right 1)
| | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | read ('f' ==)
| | | | | | | | | | |   minReads=(Right 1)
| | | | | | | | | | |   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=[]
| | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | commit ExceptionFailure
| | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | call <hidden>
| | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | commit ExceptionFailure
| | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | refJoin <hidden>
| | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | <ko>
| | | | | | | | | | | loadInput
| | | | | | | | | | |   minReads=(Left ExceptionFailure)
| | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | fail fromList []
| | | | | | | | | | |   minReads=(Left ExceptionFailure)
| | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | <ko>
| | | | | | | | | pushInput
| | | | | | | | |   minReads=(Right 11)
| | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | lift2Value Term
| | | | | | | | |   minReads=(Right 11)
| | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | choicesBranch [(\u1 -> u1)]
| | | | | | | | |   minReads=(Right 11)
| | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | <branch>
| | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | |   minReads=(Right 11)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | pushValue (\u1 -> u1)
| | | | | | | | | | |   minReads=(Right 11)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | |   minReads=(Right 11)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | |   minReads=(Right 11)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | pushValue (\u1 -> u1)
| | | | | | | | | | |   minReads=(Right 11)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | |   minReads=(Right 11)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | |   minReads=(Right 11)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | pushValue (\u1 -> u1)
| | | | | | | | | | |   minReads=(Right 11)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | |   minReads=(Right 11)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | catch ExceptionFailure
| | | | | | | | | | |   minReads=(Right 11)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | <ok>
| | | | | | | | | | | | | pushValue cons
| | | | | | | | | | | | |   minReads=(Right 11)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | | | |   minReads=(Right 11)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | pushValue 'w'
| | | | | | | | | | | | |   minReads=(Right 11)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 11)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | read ('w' ==)
| | | | | | | | | | | | |   minReads=(Right 11)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 10)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 10)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | pushValue cons
| | | | | | | | | | | | |   minReads=(Right 10)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | | | |   minReads=(Right 10)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | pushValue 'h'
| | | | | | | | | | | | |   minReads=(Right 10)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 10)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | read ('h' ==)
| | | | | | | | | | | | |   minReads=(Right 10)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 9)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 9)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | pushValue cons
| | | | | | | | | | | | |   minReads=(Right 9)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | | | |   minReads=(Right 9)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | pushValue 'i'
| | | | | | | | | | | | |   minReads=(Right 9)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 9)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | read ('i' ==)
| | | | | | | | | | | | |   minReads=(Right 9)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 8)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 8)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | pushValue cons
| | | | | | | | | | | | |   minReads=(Right 8)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | | | |   minReads=(Right 8)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | pushValue 'l'
| | | | | | | | | | | | |   minReads=(Right 8)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 8)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | read ('l' ==)
| | | | | | | | | | | | |   minReads=(Right 8)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 7)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 7)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | pushValue cons
| | | | | | | | | | | | |   minReads=(Right 7)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | | | |   minReads=(Right 7)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | pushValue 'e'
| | | | | | | | | | | | |   minReads=(Right 7)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 7)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | read ('e' ==)
| | | | | | | | | | | | |   minReads=(Right 7)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 6)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 6)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | pushValue Term
| | | | | | | | | | | | |   minReads=(Right 6)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 6)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 6)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 6)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 6)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 6)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | commit ExceptionFailure
| | | | | | | | | | | | |   minReads=(Right 6)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 6)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | call <hidden>
| | | | | | | | | | | | |   minReads=(Right 6)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 6)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 6)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | call <hidden>
| | | | | | | | | | | | |   minReads=(Right 6)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 4)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 4)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | call <hidden>
| | | | | | | | | | | | |   minReads=(Right 4)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | | refJoin <hidden>
| | | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | <ko>
| | | | | | | | | | | | | loadInput
| | | | | | | | | | | | |   minReads=(Left ExceptionFailure)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | fail fromList []
| | | | | | | | | | | | |   minReads=(Left ExceptionFailure)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | <default>
| | | | | | | | | | | fail fromList []
| | | | | | | | | | |   minReads=(Left ExceptionFailure)
| | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | <ko>
| | | | | | | pushInput
| | | | | | |   minReads=(Right 8)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | lift2Value Term
| | | | | | |   minReads=(Right 8)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | choicesBranch [(\u1 -> u1)]
| | | | | | |   minReads=(Right 8)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | <branch>
| | | | | | | | | catch ExceptionFailure
| | | | | | | | |   minReads=(Right 8)
| | | | | | | | |   mayRaise=[]
| | | | | | | | | | <ok>
| | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | |   minReads=(Right 8)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | |   minReads=(Right 8)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | pushValue (\u1 -> u1)
| | | | | | | | | | |   minReads=(Right 8)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | |   minReads=(Right 8)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | |   minReads=(Right 8)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | pushValue (\u1 -> u1)
| | | | | | | | | | |   minReads=(Right 8)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | |   minReads=(Right 8)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | |   minReads=(Right 8)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | pushValue (\u1 -> u1)
| | | | | | | | | | |   minReads=(Right 8)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | |   minReads=(Right 8)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | join <hidden>
| | | | | | | | | | |   minReads=(Right 8)
| | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 8)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | | |   minReads=(Right 8)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | pushValue (\u1 -> u1)
| | | | | | | | | | | |   minReads=(Right 8)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 8)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | call <hidden>
| | | | | | | | | | | |   minReads=(Right 8)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 6)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | | |   minReads=(Right 6)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | pushValue (\u1 -> u1)
| | | | | | | | | | | |   minReads=(Right 6)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 6)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | pushValue ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
| | | | | | | | | | | |   minReads=(Right 6)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | call <hidden>
| | | | | | | | | | | |   minReads=(Right 6)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | call <hidden>
| | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | call <hidden>
| | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 4)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 4)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 4)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 4)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | | |   minReads=(Right 4)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | | |   minReads=(Right 4)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | pushValue '='
| | | | | | | | | | | |   minReads=(Right 4)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 4)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | read ('=' ==)
| | | | | | | | | | | |   minReads=(Right 4)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 3)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 3)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | call <hidden>
| | | | | | | | | | | |   minReads=(Right 3)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | pushValue (\u1 -> u1)
| | | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | call <hidden>
| | | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | pushValue (\u1 -> u1)
| | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | pushValue ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
| | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | call <hidden>
| | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | call <hidden>
| | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | call <hidden>
| | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | call <hidden>
| | | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | commit ExceptionFailure
| | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | refJoin <hidden>
| | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | catch ExceptionFailure
| | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | <ok>
| | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | | | |   minReads=(Right 3)
| | | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | | pushValue Term
| | | | | | | | | | | | |   minReads=(Right 3)
| | | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 3)
| | | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | | | |   minReads=(Right 3)
| | | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | | pushValue (\u1 -> u1)
| | | | | | | | | | | | |   minReads=(Right 3)
| | | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | |   minReads=(Right 3)
| | | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | | catch ExceptionFailure
| | | | | | | | | | | | |   minReads=(Right 3)
| | | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | | | <ok>
| | | | | | | | | | | | | | | pushValue cons
| | | | | | | | | | | | | | |   minReads=(Right 3)
| | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | | | | | |   minReads=(Right 3)
| | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | | | pushValue 'v'
| | | | | | | | | | | | | | |   minReads=(Right 3)
| | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | | | |   minReads=(Right 3)
| | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | | | read ('v' ==)
| | | | | | | | | | | | | | |   minReads=(Right 3)
| | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | | | pushValue cons
| | | | | | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | | | pushValue 'a'
| | | | | | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | | | read ('a' ==)
| | | | | | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | | | |   minReads=(Right 1)
| | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | | | |   minReads=(Right 1)
| | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | | | pushValue cons
| | | | | | | | | | | | | | |   minReads=(Right 1)
| | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | | | | | |   minReads=(Right 1)
| | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | | | pushValue 'r'
| | | | | | | | | | | | | | |   minReads=(Right 1)
| | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | | | |   minReads=(Right 1)
| | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | | | read ('r' ==)
| | | | | | | | | | | | | | |   minReads=(Right 1)
| | | | | | | | | | | | | | |   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=[]
| | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | | | | commit ExceptionFailure
| | | | | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | | | | call <hidden>
| | | | | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | | | | commit ExceptionFailure
| | | | | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | | | | refJoin <hidden>
| | | | | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | | | <ko>
| | | | | | | | | | | | | | | loadInput
| | | | | | | | | | | | | | |   minReads=(Left ExceptionFailure)
| | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | | | | | fail fromList []
| | | | | | | | | | | | | | |   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>
| | | | | | | | | | | | | | | call <hidden>
| | | | | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | | | | refJoin <hidden>
| | | | | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | | | <default>
| | | | | | | | | | | | | | | fail fromList []
| | | | | | | | | | | | | | |   minReads=(Left ExceptionFailure)
| | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | <ko>
| | | | | | | | | | | loadInput
| | | | | | | | | | |   minReads=(Left ExceptionFailure)
| | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | fail fromList []
| | | | | | | | | | |   minReads=(Left ExceptionFailure)
| | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | <default>
| | | | | | | | | fail fromList []
| | | | | | | | |   minReads=(Left ExceptionFailure)
| | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | <ko>
| | | | | pushInput
| | | | |   minReads=(Right 4)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value Term
| | | | |   minReads=(Right 4)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | choicesBranch [(\u1 -> u1)]
| | | | |   minReads=(Right 4)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | | <branch>
| | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | |   minReads=(Right 4)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | call <hidden>
| | | | | | |   minReads=(Right 4)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | |   minReads=(Right 2)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | call <hidden>
| | | | | | |   minReads=(Right 2)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | |   minReads=(Right 0)
| | | | | | |   mayRaise=[]
| | | | | | | refJoin <hidden>
| | | | | | |   minReads=(Right 0)
| | | | | | |   mayRaise=[]
| | | | | | <default>
| | | | | | | fail fromList []
| | | | | | |   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 fromList []
| | | | |   minReads=(Left ExceptionFailure)
| | | | |   mayRaise=[ExceptionFailure]
let <hidden>
  minReads=(Right 0)
  mayRaise=[]
| catch ExceptionFailure
|   minReads=(Right 0)
|   mayRaise=[]
| | <ok>
| | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | call <hidden>
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | pushValue (\u1 -> (\u2 -> u1))
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | pushValue (\u1 -> u1)
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | call <hidden>
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 2)
| | |   mayRaise=[]
| | | call <hidden>
| | |   minReads=(Right 2)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | call <hidden>
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | 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 fromList []
| | | | |   minReads=(Left ExceptionFailure)
| | | | |   mayRaise=[ExceptionFailure]
let <hidden>
  minReads=(Right 0)
  mayRaise=[]
| catch ExceptionFailure
|   minReads=(Right 0)
|   mayRaise=[]
| | <ok>
| | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | call <hidden>
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | pushValue (\u1 -> (\u2 -> u1))
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | pushValue (\u1 -> u1)
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | call <hidden>
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 2)
| | |   mayRaise=[]
| | | call <hidden>
| | |   minReads=(Right 2)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | call <hidden>
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | 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 fromList []
| | | | |   minReads=(Left ExceptionFailure)
| | | | |   mayRaise=[ExceptionFailure]
let <hidden>
  minReads=(Right 0)
  mayRaise=[]
| catch ExceptionFailure
|   minReads=(Right 0)
|   mayRaise=[]
| | <ok>
| | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | call <hidden>
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | pushValue (\u1 -> (\u2 -> u1))
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | pushValue (\u1 -> u1)
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | call <hidden>
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 2)
| | |   mayRaise=[]
| | | call <hidden>
| | |   minReads=(Right 2)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | call <hidden>
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | 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 fromList []
| | | | |   minReads=(Left ExceptionFailure)
| | | | |   mayRaise=[ExceptionFailure]
let <hidden>
  minReads=(Right 0)
  mayRaise=[]
| catch ExceptionFailure
|   minReads=(Right 0)
|   mayRaise=[]
| | <ok>
| | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | call <hidden>
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | pushValue (\u1 -> (\u2 -> u1))
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | pushValue (\u1 -> u1)
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | call <hidden>
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 2)
| | |   mayRaise=[]
| | | call <hidden>
| | |   minReads=(Right 2)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | call <hidden>
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | 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 fromList []
| | | | |   minReads=(Left ExceptionFailure)
| | | | |   mayRaise=[ExceptionFailure]
let <hidden>
  minReads=(Right 0)
  mayRaise=[]
| catch ExceptionFailure
|   minReads=(Right 0)
|   mayRaise=[]
| | <ok>
| | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | pushValue (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | pushValue (\u1 -> (\u2 -> u1))
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | pushValue (\u1 -> (\u2 -> u1))
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | pushValue (\u1 -> u1)
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | pushValue (\u1 -> (\u2 -> u1))
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | pushValue (\u1 -> (\u2 -> u1))
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | pushValue '!'
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | read ('!' ==)
| | |   minReads=(Right 4)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 3)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 3)
| | |   mayRaise=[ExceptionFailure]
| | | call <hidden>
| | |   minReads=(Right 3)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 2)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 2)
| | |   mayRaise=[]
| | | call <hidden>
| | |   minReads=(Right 2)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | call <hidden>
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | 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 fromList []
| | | | |   minReads=(Left ExceptionFailure)
| | | | |   mayRaise=[ExceptionFailure]
let <hidden>
  minReads=(Right 0)
  mayRaise=[]
| catch ExceptionFailure
|   minReads=(Right 0)
|   mayRaise=[]
| | <ok>
| | | pushValue (\u1 -> (\u2 -> u1))
| | |   minReads=(Right 2)
| | |   mayRaise=[]
| | | pushValue Term
| | |   minReads=(Right 2)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 2)
| | |   mayRaise=[]
| | | pushValue (\u1 -> (\u2 -> u1))
| | |   minReads=(Right 2)
| | |   mayRaise=[]
| | | pushValue (\u1 -> u1)
| | |   minReads=(Right 2)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 2)
| | |   mayRaise=[]
| | | call <hidden>
| | |   minReads=(Right 2)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | pushValue (\u1 -> (\u2 -> u1))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | pushValue (\u1 -> u1)
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | pushValue ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | call <hidden>
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | call <hidden>
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | call <hidden>
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | 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>
| | | | | jump <hidden>
| | | | |   minReads=(Right 0)
| | | | |   mayRaise=[]
| | | | <default>
| | | | | fail fromList []
| | | | |   minReads=(Left ExceptionFailure)
| | | | |   mayRaise=[ExceptionFailure]
let <hidden>
  minReads=(Right 0)
  mayRaise=[]
| pushValue (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
|   minReads=(Right 0)
|   mayRaise=[]
| pushValue (\u1 -> (\u2 -> u1))
|   minReads=(Right 0)
|   mayRaise=[]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[]
| ret
|   minReads=(Right 0)
|   mayRaise=[]
let <hidden>
  minReads=(Right 0)
  mayRaise=[]
| pushValue Term
|   minReads=(Right 0)
|   mayRaise=[]
| ret
|   minReads=(Right 0)
|   mayRaise=[]
let <hidden>
  minReads=(Right 0)
  mayRaise=[]
| pushValue Term
|   minReads=(Right 0)
|   mayRaise=[]
| ret
|   minReads=(Right 0)
|   mayRaise=[]
let <hidden>
  minReads=(Right 1)
  mayRaise=[ExceptionFailure]
| pushValue (\u1 -> (\u2 -> u1))
|   minReads=(Right 1)
|   mayRaise=[ExceptionFailure]
| pushValue (\u1 -> u1)
|   minReads=(Right 1)
|   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 0)
|   mayRaise=[]
| pushValue (\u1 -> (\u2 -> u1))
|   minReads=(Right 0)
|   mayRaise=[]
| pushValue (\u1 -> u1)
|   minReads=(Right 0)
|   mayRaise=[]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[]
| pushValue ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
|   minReads=(Right 0)
|   mayRaise=[]
| pushValue Term
|   minReads=(Right 0)
|   mayRaise=[]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[]
| call <hidden>
|   minReads=(Right 0)
|   mayRaise=[]
| 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=[]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[]
| ret
|   minReads=(Right 0)
|   mayRaise=[]
let <hidden>
  minReads=(Right 1)
  mayRaise=[ExceptionFailure]
| pushValue (\u1 -> (\u2 -> u1))
|   minReads=(Right 1)
|   mayRaise=[ExceptionFailure]
| pushValue (\u1 -> 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=[]
| call <hidden>
|   minReads=(Right 0)
|   mayRaise=[]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[]
| ret
|   minReads=(Right 0)
|   mayRaise=[]
let <hidden>
  minReads=(Right 1)
  mayRaise=[ExceptionFailure]
| read Term
|   minReads=(Right 1)
|   mayRaise=[ExceptionFailure]
| ret
|   minReads=(Right 0)
|   mayRaise=[]
let <hidden>
  minReads=(Right 2)
  mayRaise=[ExceptionFailure]
| pushValue (\u1 -> (\u2 -> u1))
|   minReads=(Right 2)
|   mayRaise=[ExceptionFailure]
| pushValue (\u1 -> (\u2 -> u1))
|   minReads=(Right 2)
|   mayRaise=[ExceptionFailure]
| pushValue '('
|   minReads=(Right 2)
|   mayRaise=[ExceptionFailure]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 2)
|   mayRaise=[ExceptionFailure]
| read ('(' ==)
|   minReads=(Right 2)
|   mayRaise=[ExceptionFailure]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 1)
|   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 0)
|   mayRaise=[]
| ret
|   minReads=(Right 0)
|   mayRaise=[]
let <hidden>
  minReads=(Right 2)
  mayRaise=[ExceptionFailure]
| pushValue (\u1 -> (\u2 -> u1))
|   minReads=(Right 2)
|   mayRaise=[ExceptionFailure]
| pushValue (\u1 -> (\u2 -> u1))
|   minReads=(Right 2)
|   mayRaise=[ExceptionFailure]
| pushValue ')'
|   minReads=(Right 2)
|   mayRaise=[ExceptionFailure]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 2)
|   mayRaise=[ExceptionFailure]
| read (')' ==)
|   minReads=(Right 2)
|   mayRaise=[ExceptionFailure]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 1)
|   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 0)
|   mayRaise=[]
| ret
|   minReads=(Right 0)
|   mayRaise=[]
let <hidden>
  minReads=(Right 2)
  mayRaise=[ExceptionFailure]
| pushValue (\u1 -> (\u2 -> u1))
|   minReads=(Right 2)
|   mayRaise=[ExceptionFailure]
| pushValue (\u1 -> (\u2 -> u1))
|   minReads=(Right 2)
|   mayRaise=[ExceptionFailure]
| pushValue ','
|   minReads=(Right 2)
|   mayRaise=[ExceptionFailure]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 2)
|   mayRaise=[ExceptionFailure]
| read (',' ==)
|   minReads=(Right 2)
|   mayRaise=[ExceptionFailure]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 1)
|   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 0)
|   mayRaise=[]
| ret
|   minReads=(Right 0)
|   mayRaise=[]
let <hidden>
  minReads=(Right 2)
  mayRaise=[ExceptionFailure]
| pushValue (\u1 -> (\u2 -> u1))
|   minReads=(Right 2)
|   mayRaise=[ExceptionFailure]
| pushValue (\u1 -> (\u2 -> u1))
|   minReads=(Right 2)
|   mayRaise=[ExceptionFailure]
| pushValue ';'
|   minReads=(Right 2)
|   mayRaise=[ExceptionFailure]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 2)
|   mayRaise=[ExceptionFailure]
| read (';' ==)
|   minReads=(Right 2)
|   mayRaise=[ExceptionFailure]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 1)
|   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 0)
|   mayRaise=[]
| ret
|   minReads=(Right 0)
|   mayRaise=[]
let <hidden>
  minReads=(Right 2)
  mayRaise=[]
| catch ExceptionFailure
|   minReads=(Right 2)
|   mayRaise=[]
| | <ok>
| | | join <hidden>
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | | commit ExceptionFailure
| | | |   minReads=(Right 0)
| | | |   mayRaise=[]
| | | | ret
| | | |   minReads=(Right 0)
| | | |   mayRaise=[]
| | | catch ExceptionFailure
| | |   minReads=(Right 2)
| | |   mayRaise=[]
| | | | <ok>
| | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | |   minReads=(Right 2)
| | | | |   mayRaise=[]
| | | | | pushValue (\u1 -> u1)
| | | | |   minReads=(Right 2)
| | | | |   mayRaise=[]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 2)
| | | | |   mayRaise=[]
| | | | | join <hidden>
| | | | |   minReads=(Right 1)
| | | | |   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 0)
| | | | | |   mayRaise=[]
| | | | | | commit ExceptionFailure
| | | | | |   minReads=(Right 0)
| | | | | |   mayRaise=[]
| | | | | | refJoin <hidden>
| | | | | |   minReads=(Right 0)
| | | | | |   mayRaise=[]
| | | | | catch ExceptionFailure
| | | | |   minReads=(Right 1)
| | | | |   mayRaise=[]
| | | | | | <ok>
| | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | |   minReads=(Right 1)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | pushValue '0'
| | | | | | |   minReads=(Right 1)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | |   minReads=(Right 1)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | read ('0' ==)
| | | | | | |   minReads=(Right 1)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | |   minReads=(Right 0)
| | | | | | |   mayRaise=[]
| | | | | | | commit ExceptionFailure
| | | | | | |   minReads=(Right 0)
| | | | | | |   mayRaise=[]
| | | | | | | refJoin <hidden>
| | | | | | |   minReads=(Right 0)
| | | | | | |   mayRaise=[]
| | | | | | <ko>
| | | | | | | pushInput
| | | | | | |   minReads=(Right 1)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | lift2Value Term
| | | | | | |   minReads=(Right 1)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | choicesBranch [(\u1 -> u1)]
| | | | | | |   minReads=(Right 1)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | <branch>
| | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | |   minReads=(Right 1)
| | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | pushValue '1'
| | | | | | | | |   minReads=(Right 1)
| | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | |   minReads=(Right 1)
| | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | read ('1' ==)
| | | | | | | | |   minReads=(Right 1)
| | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | |   minReads=(Right 0)
| | | | | | | | |   mayRaise=[]
| | | | | | | | | refJoin <hidden>
| | | | | | | | |   minReads=(Right 0)
| | | | | | | | |   mayRaise=[]
| | | | | | | | <default>
| | | | | | | | | fail fromList []
| | | | | | | | |   minReads=(Left ExceptionFailure)
| | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | <ko>
| | | | | pushInput
| | | | |   minReads=(Right 4)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | lift2Value Term
| | | | |   minReads=(Right 4)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | choicesBranch [(\u1 -> u1)]
| | | | |   minReads=(Right 4)
| | | | |   mayRaise=[ExceptionFailure]
| | | | | | <branch>
| | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | |   minReads=(Right 4)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | |   minReads=(Right 4)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | pushValue (\u1 -> u1)
| | | | | | |   minReads=(Right 4)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | |   minReads=(Right 4)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | |   minReads=(Right 4)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | pushValue '\''
| | | | | | |   minReads=(Right 4)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | |   minReads=(Right 4)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | read ('\'' ==)
| | | | | | |   minReads=(Right 4)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | |   minReads=(Right 3)
| | | | | | |   mayRaise=[]
| | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | |   minReads=(Right 3)
| | | | | | |   mayRaise=[]
| | | | | | | join <hidden>
| | | | | | |   minReads=(Right 2)
| | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | |   minReads=(Right 2)
| | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | |   minReads=(Right 2)
| | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | |   minReads=(Right 2)
| | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | |   minReads=(Right 2)
| | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | pushValue '\''
| | | | | | | |   minReads=(Right 2)
| | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | |   minReads=(Right 2)
| | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | read ('\'' ==)
| | | | | | | |   minReads=(Right 2)
| | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | |   minReads=(Right 1)
| | | | | | | |   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 0)
| | | | | | | |   mayRaise=[]
| | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | |   minReads=(Right 0)
| | | | | | | |   mayRaise=[]
| | | | | | | | refJoin <hidden>
| | | | | | | |   minReads=(Right 0)
| | | | | | | |   mayRaise=[]
| | | | | | | catch ExceptionFailure
| | | | | | |   minReads=(Right 1)
| | | | | | |   mayRaise=[]
| | | | | | | | <ok>
| | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | |   minReads=(Right 1)
| | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | pushValue (\u1 -> 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=[]
| | | | | | | | | call <hidden>
| | | | | | | | |   minReads=(Right 0)
| | | | | | | | |   mayRaise=[]
| | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | |   minReads=(Right 0)
| | | | | | | | |   mayRaise=[]
| | | | | | | | | commit ExceptionFailure
| | | | | | | | |   minReads=(Right 0)
| | | | | | | | |   mayRaise=[]
| | | | | | | | | refJoin <hidden>
| | | | | | | | |   minReads=(Right 0)
| | | | | | | | |   mayRaise=[]
| | | | | | | | <ko>
| | | | | | | | | pushInput
| | | | | | | | |   minReads=(Right 2)
| | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | lift2Value Term
| | | | | | | | |   minReads=(Right 2)
| | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | choicesBranch [(\u1 -> u1)]
| | | | | | | | |   minReads=(Right 2)
| | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | <branch>
| | | | | | | | | | | 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]
| | | | | | | | | | | pushValue '\\'
| | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | read ('\\' ==)
| | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | |   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 (\u1 -> 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=[]
| | | | | | | | | | | call <hidden>
| | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | 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 fromList []
| | | | | | | | | | |   minReads=(Left ExceptionFailure)
| | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | <default>
| | | | | | | fail fromList []
| | | | | | |   minReads=(Left ExceptionFailure)
| | | | | | |   mayRaise=[ExceptionFailure]
| | <ko>
| | | pushInput
| | |   minReads=(Right 2)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value Term
| | |   minReads=(Right 2)
| | |   mayRaise=[ExceptionFailure]
| | | choicesBranch [(\u1 -> u1)]
| | |   minReads=(Right 2)
| | |   mayRaise=[ExceptionFailure]
| | | | <branch>
| | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | |   minReads=(Right 2)
| | | | |   mayRaise=[]
| | | | | pushValue (\u1 -> u1)
| | | | |   minReads=(Right 2)
| | | | |   mayRaise=[]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 2)
| | | | |   mayRaise=[]
| | | | | call <hidden>
| | | | |   minReads=(Right 2)
| | | | |   mayRaise=[]
| | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | |   minReads=(Right 0)
| | | | |   mayRaise=[]
| | | | | join <hidden>
| | | | |   minReads=(Right 0)
| | | | |   mayRaise=[]
| | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | |   minReads=(Right 0)
| | | | | |   mayRaise=[]
| | | | | | ret
| | | | | |   minReads=(Right 0)
| | | | | |   mayRaise=[]
| | | | | catch ExceptionFailure
| | | | |   minReads=(Right 0)
| | | | |   mayRaise=[]
| | | | | | <ok>
| | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | |   minReads=(Right 4)
| | | | | | |   mayRaise=[]
| | | | | | | pushValue Term
| | | | | | |   minReads=(Right 4)
| | | | | | |   mayRaise=[]
| | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | |   minReads=(Right 4)
| | | | | | |   mayRaise=[]
| | | | | | | join <hidden>
| | | | | | |   minReads=(Right 0)
| | | | | | |   mayRaise=[]
| | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | |   minReads=(Right 0)
| | | | | | | |   mayRaise=[]
| | | | | | | | commit ExceptionFailure
| | | | | | | |   minReads=(Right 0)
| | | | | | | |   mayRaise=[]
| | | | | | | | refJoin <hidden>
| | | | | | | |   minReads=(Right 0)
| | | | | | | |   mayRaise=[]
| | | | | | | catch ExceptionFailure
| | | | | | |   minReads=(Right 4)
| | | | | | |   mayRaise=[]
| | | | | | | | <ok>
| | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | |   minReads=(Right 4)
| | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | |   minReads=(Right 4)
| | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | pushValue (\u1 -> u1)
| | | | | | | | |   minReads=(Right 4)
| | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | |   minReads=(Right 4)
| | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | call <hidden>
| | | | | | | | |   minReads=(Right 4)
| | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | |   minReads=(Right 2)
| | | | | | | | |   mayRaise=[]
| | | | | | | | | join <hidden>
| | | | | | | | |   minReads=(Right 2)
| | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | call <hidden>
| | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | |   mayRaise=[]
| | | | | | | | | | commit ExceptionFailure
| | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | |   mayRaise=[]
| | | | | | | | | | refJoin <hidden>
| | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | |   mayRaise=[]
| | | | | | | | | catch ExceptionFailure
| | | | | | | | |   minReads=(Right 0)
| | | | | | | | |   mayRaise=[]
| | | | | | | | | | <ok>
| | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | pushValue Term
| | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | pushValue (\u1 -> u1)
| | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | call <hidden>
| | | | | | | | | | |   minReads=(Right 2)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
| | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | pushValue (\u1 -> u1)
| | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | pushValue ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
| | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | call <hidden>
| | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | call <hidden>
| | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | call <hidden>
| | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | commit ExceptionFailure
| | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | refJoin <hidden>
| | | | | | | | | | |   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>
| | | | | | | | | | | | | call <hidden>
| | | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | | refJoin <hidden>
| | | | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | | | <default>
| | | | | | | | | | | | | fail fromList []
| | | | | | | | | | | | |   minReads=(Left ExceptionFailure)
| | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | <ko>
| | | | | | | | | pushInput
| | | | | | | | |   minReads=(Right 5)
| | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | lift2Value Term
| | | | | | | | |   minReads=(Right 5)
| | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | choicesBranch [(\u1 -> u1)]
| | | | | | | | |   minReads=(Right 5)
| | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | <branch>
| | | | | | | | | | | call <hidden>
| | | | | | | | | | |   minReads=(Right 5)
| | | | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | | | | | | | | refJoin <hidden>
| | | | | | | | | | |   minReads=(Right 0)
| | | | | | | | | | |   mayRaise=[]
| | | | | | | | | | <default>
| | | | | | | | | | | fail fromList []
| | | | | | | | | | |   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>
| | | | | | | | | call <hidden>
| | | | | | | | |   minReads=(Right 0)
| | | | | | | | |   mayRaise=[]
| | | | | | | | | refJoin <hidden>
| | | | | | | | |   minReads=(Right 0)
| | | | | | | | |   mayRaise=[]
| | | | | | | | <default>
| | | | | | | | | fail fromList []
| | | | | | | | |   minReads=(Left ExceptionFailure)
| | | | | | | | |   mayRaise=[ExceptionFailure]
| | | | <default>
| | | | | fail fromList []
| | | | |   minReads=(Left ExceptionFailure)
| | | | |   mayRaise=[ExceptionFailure]
let <hidden>
  minReads=(Right 2)
  mayRaise=[]
| pushValue (\u1 -> (\u2 -> u1))
|   minReads=(Right 2)
|   mayRaise=[]
| pushValue (\u1 -> u1)
|   minReads=(Right 2)
|   mayRaise=[]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 2)
|   mayRaise=[]
| call <hidden>
|   minReads=(Right 2)
|   mayRaise=[]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[]
| join <hidden>
|   minReads=(Right 0)
|   mayRaise=[]
| | lift2Value (\u1 -> (\u2 -> u1 u2))
| |   minReads=(Right 0)
| |   mayRaise=[]
| | ret
| |   minReads=(Right 0)
| |   mayRaise=[]
| catch ExceptionFailure
|   minReads=(Right 0)
|   mayRaise=[]
| | <ok>
| | | pushValue (\u1 -> (\u2 -> u1))
| | |   minReads=(Right 5)
| | |   mayRaise=[ExceptionFailure]
| | | pushValue Term
| | |   minReads=(Right 5)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 5)
| | |   mayRaise=[ExceptionFailure]
| | | call <hidden>
| | |   minReads=(Right 5)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | commit ExceptionFailure
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | refJoin <hidden>
| | |   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>
| | | | | call <hidden>
| | | | |   minReads=(Right 0)
| | | | |   mayRaise=[]
| | | | | refJoin <hidden>
| | | | |   minReads=(Right 0)
| | | | |   mayRaise=[]
| | | | <default>
| | | | | fail fromList []
| | | | |   minReads=(Left ExceptionFailure)
| | | | |   mayRaise=[ExceptionFailure]
let <hidden>
  minReads=(Right 2)
  mayRaise=[]
| pushValue (\u1 -> (\u2 -> u1))
|   minReads=(Right 2)
|   mayRaise=[]
| pushValue (\u1 -> u1)
|   minReads=(Right 2)
|   mayRaise=[]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 2)
|   mayRaise=[]
| call <hidden>
|   minReads=(Right 2)
|   mayRaise=[]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[]
| pushValue (\u1 -> (\u2 -> u1))
|   minReads=(Right 0)
|   mayRaise=[]
| pushValue (\u1 -> u1)
|   minReads=(Right 0)
|   mayRaise=[]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[]
| pushValue ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
|   minReads=(Right 0)
|   mayRaise=[]
| call <hidden>
|   minReads=(Right 0)
|   mayRaise=[]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[]
| call <hidden>
|   minReads=(Right 0)
|   mayRaise=[]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[]
| call <hidden>
|   minReads=(Right 0)
|   mayRaise=[]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[]
| ret
|   minReads=(Right 0)
|   mayRaise=[]
let <hidden>
  minReads=(Right 2)
  mayRaise=[]
| pushValue (\u1 -> (\u2 -> u1))
|   minReads=(Right 2)
|   mayRaise=[]
| pushValue (\u1 -> u1)
|   minReads=(Right 2)
|   mayRaise=[]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 2)
|   mayRaise=[]
| catch ExceptionFailure
|   minReads=(Right 2)
|   mayRaise=[]
| | <ok>
| | | 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]
| | | read Term
| | |   minReads=(Right 2)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 1)
| | |   mayRaise=[ExceptionFailure]
| | | pushValue (\u1 -> (\u2 -> u1))
| | |   minReads=(Right 1)
| | |   mayRaise=[ExceptionFailure]
| | | pushValue (\u1 -> u1)
| | |   minReads=(Right 1)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 1)
| | |   mayRaise=[ExceptionFailure]
| | | pushValue ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
| | |   minReads=(Right 1)
| | |   mayRaise=[ExceptionFailure]
| | | call <hidden>
| | |   minReads=(Right 1)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | call <hidden>
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | call <hidden>
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 1)
| | |   mayRaise=[ExceptionFailure]
| | | lift2Value (\u1 -> (\u2 -> u1 u2))
| | |   minReads=(Right 1)
| | |   mayRaise=[ExceptionFailure]
| | | commit ExceptionFailure
| | |   minReads=(Right 1)
| | |   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 0)
| | |   mayRaise=[]
| | | ret
| | |   minReads=(Right 0)
| | |   mayRaise=[]
| | <ko>
| | | loadInput
| | |   minReads=(Left ExceptionFailure)
| | |   mayRaise=[ExceptionFailure]
| | | fail fromList []
| | |   minReads=(Left ExceptionFailure)
| | |   mayRaise=[ExceptionFailure]
let <hidden>
  minReads=(Right 4)
  mayRaise=[ExceptionFailure]
| pushValue (\u1 -> (\u2 -> u1))
|   minReads=(Right 4)
|   mayRaise=[ExceptionFailure]
| pushValue (\u1 -> (\u2 -> u1))
|   minReads=(Right 4)
|   mayRaise=[ExceptionFailure]
| pushValue (\u1 -> u1)
|   minReads=(Right 4)
|   mayRaise=[ExceptionFailure]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 4)
|   mayRaise=[ExceptionFailure]
| pushValue (\u1 -> (\u2 -> u1))
|   minReads=(Right 4)
|   mayRaise=[ExceptionFailure]
| pushValue (\u1 -> (\u2 -> u1))
|   minReads=(Right 4)
|   mayRaise=[ExceptionFailure]
| pushValue '{'
|   minReads=(Right 4)
|   mayRaise=[ExceptionFailure]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 4)
|   mayRaise=[ExceptionFailure]
| read ('{' ==)
|   minReads=(Right 4)
|   mayRaise=[ExceptionFailure]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 3)
|   mayRaise=[ExceptionFailure]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 3)
|   mayRaise=[ExceptionFailure]
| call <hidden>
|   minReads=(Right 3)
|   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 (\u1 -> u1)
|   minReads=(Right 1)
|   mayRaise=[ExceptionFailure]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 1)
|   mayRaise=[ExceptionFailure]
| pushValue ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
|   minReads=(Right 1)
|   mayRaise=[ExceptionFailure]
| call <hidden>
|   minReads=(Right 1)
|   mayRaise=[ExceptionFailure]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[]
| call <hidden>
|   minReads=(Right 0)
|   mayRaise=[]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[]
| call <hidden>
|   minReads=(Right 0)
|   mayRaise=[]
| 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 (\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=[]
| call <hidden>
|   minReads=(Right 0)
|   mayRaise=[]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[]
| ret
|   minReads=(Right 0)
|   mayRaise=[]
let <hidden>
  minReads=(Right 5)
  mayRaise=[ExceptionFailure]
| pushValue (\u1 -> (\u2 -> u1))
|   minReads=(Right 5)
|   mayRaise=[ExceptionFailure]
| pushValue (\u1 -> (\u2 -> u1))
|   minReads=(Right 5)
|   mayRaise=[ExceptionFailure]
| pushValue (\u1 -> u1)
|   minReads=(Right 5)
|   mayRaise=[ExceptionFailure]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 5)
|   mayRaise=[ExceptionFailure]
| pushValue (\u1 -> (\u2 -> u1))
|   minReads=(Right 5)
|   mayRaise=[ExceptionFailure]
| pushValue (\u1 -> (\u2 -> u1))
|   minReads=(Right 5)
|   mayRaise=[ExceptionFailure]
| pushValue '['
|   minReads=(Right 5)
|   mayRaise=[ExceptionFailure]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 5)
|   mayRaise=[ExceptionFailure]
| read ('[' ==)
|   minReads=(Right 5)
|   mayRaise=[ExceptionFailure]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 4)
|   mayRaise=[ExceptionFailure]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 4)
|   mayRaise=[ExceptionFailure]
| call <hidden>
|   minReads=(Right 4)
|   mayRaise=[ExceptionFailure]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 2)
|   mayRaise=[ExceptionFailure]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   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]
| call <hidden>
|   minReads=(Right 2)
|   mayRaise=[ExceptionFailure]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 1)
|   mayRaise=[ExceptionFailure]
| pushValue (\u1 -> (\u2 -> u1))
|   minReads=(Right 1)
|   mayRaise=[ExceptionFailure]
| pushValue (\u1 -> u1)
|   minReads=(Right 1)
|   mayRaise=[ExceptionFailure]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 1)
|   mayRaise=[ExceptionFailure]
| pushValue ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
|   minReads=(Right 1)
|   mayRaise=[ExceptionFailure]
| pushValue Term
|   minReads=(Right 1)
|   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]
| 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]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 1)
|   mayRaise=[ExceptionFailure]
| pushValue (\u1 -> (\u2 -> u1))
|   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=[]
| call <hidden>
|   minReads=(Right 0)
|   mayRaise=[]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[]
| ret
|   minReads=(Right 0)
|   mayRaise=[]
pushValue Term
  minReads=(Right 1)
  mayRaise=[ExceptionFailure]
pushValue (\u1 -> (\u2 -> u1))
  minReads=(Right 1)
  mayRaise=[ExceptionFailure]
pushValue (\u1 -> (\u2 -> u1))
  minReads=(Right 1)
  mayRaise=[ExceptionFailure]
pushValue (\u1 -> u1)
  minReads=(Right 1)
  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 0)
  mayRaise=[]
pushValue (\u1 -> (\u2 -> u1))
  minReads=(Right 0)
  mayRaise=[]
pushValue (\u1 -> u1)
  minReads=(Right 0)
  mayRaise=[]
lift2Value (\u1 -> (\u2 -> u1 u2))
  minReads=(Right 0)
  mayRaise=[]
pushValue ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
  minReads=(Right 0)
  mayRaise=[]
call <hidden>
  minReads=(Right 0)
  mayRaise=[]
lift2Value (\u1 -> (\u2 -> u1 u2))
  minReads=(Right 0)
  mayRaise=[]
call <hidden>
  minReads=(Right 0)
  mayRaise=[]
lift2Value (\u1 -> (\u2 -> u1 u2))
  minReads=(Right 0)
  mayRaise=[]
lift2Value (\u1 -> (\u2 -> u1 u2))
  minReads=(Right 0)
  mayRaise=[]
call <hidden>
  minReads=(Right 0)
  mayRaise=[]
lift2Value (\u1 -> (\u2 -> u1 u2))
  minReads=(Right 0)
  mayRaise=[]
lift2Value (\u1 -> (\u2 -> u1 u2))
  minReads=(Right 0)
  mayRaise=[]
lift2Value (\u1 -> (\u2 -> u1 u2))
  minReads=(Right 0)
  mayRaise=[]
join <hidden>
  minReads=(Right 0)
  mayRaise=[]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[]
| lift2Value (\u1 -> (\u2 -> u1 u2))
|   minReads=(Right 0)
|   mayRaise=[]
| ret
|   minReads=(Right 0)
|   mayRaise=[]
catch ExceptionFailure
  minReads=(Right 0)
  mayRaise=[]
| <ok>
| | catch ExceptionFailure
| |   minReads=(Right 0)
| |   mayRaise=[]
| | | <ok>
| | | | pushInput
| | | |   minReads=(Left ExceptionFailure)
| | | |   mayRaise=[ExceptionFailure]
| | | | read (\u1 -> Term)
| | | |   minReads=(Left ExceptionFailure)
| | | |   mayRaise=[ExceptionFailure]
| | | | popValue
| | | |   minReads=(Left ExceptionFailure)
| | | |   mayRaise=[ExceptionFailure]
| | | | commit ExceptionFailure
| | | |   minReads=(Left ExceptionFailure)
| | | |   mayRaise=[ExceptionFailure]
| | | | loadInput
| | | |   minReads=(Left ExceptionFailure)
| | | |   mayRaise=[ExceptionFailure]
| | | | fail fromList []
| | | |   minReads=(Left ExceptionFailure)
| | | |   mayRaise=[ExceptionFailure]
| | | <ko>
| | | | loadInput
| | | |   minReads=(Right 0)
| | | |   mayRaise=[]
| | | | pushValue Term
| | | |   minReads=(Right 0)
| | | |   mayRaise=[]
| | | | commit ExceptionFailure
| | | |   minReads=(Right 0)
| | | |   mayRaise=[]
| | | | refJoin <hidden>
| | | |   minReads=(Right 0)
| | | |   mayRaise=[]
| <ko>
| | pushInput
| |   minReads=(Left ExceptionFailure)
| |   mayRaise=[ExceptionFailure]
| | lift2Value Term
| |   minReads=(Left ExceptionFailure)
| |   mayRaise=[ExceptionFailure]
| | choicesBranch [(\u1 -> u1)]
| |   minReads=(Left ExceptionFailure)
| |   mayRaise=[ExceptionFailure]
| | | <branch>
| | | | fail fromList [FailureEnd]
| | | |   minReads=(Left ExceptionFailure)
| | | |   mayRaise=[ExceptionFailure]
| | | <default>
| | | | fail fromList []
| | | |   minReads=(Left ExceptionFailure)
| | | |   mayRaise=[ExceptionFailure]