-pushValue (\u1 -> (\u2 -> u1 Term))
-<hidden>:
-| catchException "fail"
-| <try>
-| | pushValue (\u1 -> (\u2 -> (\u3 -> 'r' : u2 u3)))
-| | read ('r' ==)
-| | lift2Value (\u1 -> (\u2 -> u1 u2))
-| | call <hidden>
-| | lift2Value (\u1 -> (\u2 -> u1 u2))
-| | popException "fail"
-| | ret
-| <handler>
-| pushInput
-| lift2Value Term
-| choicesBranch [(\u1 -> u1)]
-| <branch>
-| | pushValue (\u1 -> u1)
-| | ret
-| <default>
-| raiseException "fail"
+let <hidden>
+ minReads=(Right 0)
+ mayRaise=[ExceptionFailure]
+| catch ExceptionFailure
+| minReads=(Right 0)
+| mayRaise=[ExceptionFailure]
+| | <ok>
+| | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2))
+| | | minReads=(Right 1)
+| | | mayRaise=[ExceptionFailure]
+| | | pushValue ((GHC.Types.:))
+| | | minReads=(Right 1)
+| | | mayRaise=[ExceptionFailure]
+| | | pushValue (\x_0 -> \x_1 -> x_0)
+| | | minReads=(Right 1)
+| | | mayRaise=[ExceptionFailure]
+| | | pushValue ('r')
+| | | minReads=(Right 1)
+| | | mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | minReads=(Right 1)
+| | | mayRaise=[ExceptionFailure]
+| | | read ((GHC.Classes.==) 'r')
+| | | minReads=(Right 1)
+| | | mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | minReads=(Right 0)
+| | | mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | minReads=(Right 0)
+| | | mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | minReads=(Right 0)
+| | | mayRaise=[ExceptionFailure]
+| | | call <hidden>
+| | | minReads=(Right 0)
+| | | mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | minReads=(Right 0)
+| | | mayRaise=[]
+| | | commit ExceptionFailure
+| | | minReads=(Right 0)
+| | | mayRaise=[]
+| | | ret
+| | | minReads=(Right 0)
+| | | mayRaise=[]
+| | <ko>
+| | | pushInput
+| | | minReads=(Right 0)
+| | | mayRaise=[ExceptionFailure]
+| | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
+| | | j_1
+| | | _) -> i_0 GHC.Classes.== j_1)
+| | | minReads=(Right 0)
+| | | mayRaise=[ExceptionFailure]
+| | | choicesBranch [(\x_0 -> x_0)]
+| | | minReads=(Right 0)
+| | | mayRaise=[ExceptionFailure]
+| | | | <branch>
+| | | | | pushValue (\x_0 -> x_0)
+| | | | | minReads=(Right 0)
+| | | | | mayRaise=[]
+| | | | | ret
+| | | | | minReads=(Right 0)
+| | | | | mayRaise=[]
+| | | | <default>
+| | | | | fail []
+| | | | | minReads=(Left ExceptionFailure)
+| | | | | mayRaise=[ExceptionFailure]
+pushValue (GHC.Show.show)
+ minReads=(Right 0)
+ mayRaise=[ExceptionFailure]
+pushValue (\x_0 -> \x_1 -> x_0)
+ minReads=(Right 0)
+ mayRaise=[ExceptionFailure]
call <hidden>
-lift2Value (\u1 -> (\u2 -> u1 u2))
-<hidden>:
-| lift2Value (\u1 -> (\u2 -> u1 u2))
+ minReads=(Right 0)
+ mayRaise=[ExceptionFailure]
+pushValue (GHC.Types.[])
+ minReads=(Right 0)
+ mayRaise=[ExceptionFailure]
+lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+ minReads=(Right 0)
+ mayRaise=[ExceptionFailure]
+lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+ minReads=(Right 0)
+ mayRaise=[ExceptionFailure]
+join <hidden>
+ minReads=(Right 0)
+ mayRaise=[]
+| lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| minReads=(Right 0)
+| mayRaise=[]
+| lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| minReads=(Right 0)
+| mayRaise=[]
| ret
-catchException "fail"
- <try>
- | catchException "fail"
- | <try>
- | | pushInput
- | | read (\u1 -> Term)
- | | popValue
- | | popException "fail"
- | | loadInput
- | | raiseException "fail"
- | <handler>
- | loadInput
- | pushValue Term
- | popException "fail"
- | refJoin <hidden>
- <handler>
- pushInput
- lift2Value Term
- choicesBranch [(\u1 -> u1)]
- <branch>
- | raiseException "fail"
- <default>
- raiseException "fail"
+| minReads=(Right 0)
+| mayRaise=[]
+catch ExceptionFailure
+ minReads=(Right 0)
+ mayRaise=[ExceptionFailure]
+| <ok>
+| | catch ExceptionFailure
+| | minReads=(Right 0)
+| | mayRaise=[]
+| | | <ok>
+| | | | pushInput
+| | | | minReads=(Left ExceptionFailure)
+| | | | mayRaise=[ExceptionFailure]
+| | | | read (\x_0 -> GHC.Types.True)
+| | | | minReads=(Left ExceptionFailure)
+| | | | mayRaise=[ExceptionFailure]
+| | | | popValue
+| | | | minReads=(Left ExceptionFailure)
+| | | | mayRaise=[ExceptionFailure]
+| | | | commit ExceptionFailure
+| | | | minReads=(Left ExceptionFailure)
+| | | | mayRaise=[ExceptionFailure]
+| | | | loadInput
+| | | | minReads=(Left ExceptionFailure)
+| | | | mayRaise=[ExceptionFailure]
+| | | | fail []
+| | | | minReads=(Left ExceptionFailure)
+| | | | mayRaise=[ExceptionFailure]
+| | | <ko>
+| | | | loadInput
+| | | | minReads=(Right 0)
+| | | | mayRaise=[]
+| | | | pushValue (GHC.Tuple.())
+| | | | minReads=(Right 0)
+| | | | mayRaise=[]
+| | | | commit ExceptionFailure
+| | | | minReads=(Right 0)
+| | | | mayRaise=[]
+| | | | refJoin <hidden>
+| | | | minReads=(Right 0)
+| | | | mayRaise=[]
+| <ko>
+| | pushInput
+| | minReads=(Left ExceptionFailure)
+| | mayRaise=[ExceptionFailure]
+| | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
+| | j_1
+| | _) -> i_0 GHC.Classes.== j_1)
+| | minReads=(Left ExceptionFailure)
+| | mayRaise=[ExceptionFailure]
+| | choicesBranch [(\x_0 -> x_0)]
+| | minReads=(Left ExceptionFailure)
+| | mayRaise=[ExceptionFailure]
+| | | <branch>
+| | | | fail [FailureEnd]
+| | | | minReads=(Left ExceptionFailure)
+| | | | mayRaise=[ExceptionFailure]
+| | | <default>
+| | | | fail []
+| | | | minReads=(Left ExceptionFailure)
+| | | | mayRaise=[ExceptionFailure]