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