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=[]
| | | | ret
| | | |   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"]