1 pushValue (\u1 -> (\u2 -> u2))
3 | pushValue (\u1 -> Term)
5 | | catchException "fail"
7 | | | pushValue (\u1 -> (\u2 -> (\u3 -> u2 u3)))
9 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
11 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
12 | | | popException "fail"
17 | | choicesBranch [(\u1 -> u1)]
19 | | | pushValue (\u1 -> u1)
22 | | raiseException "fail"
24 | lift2Value (\u1 -> (\u2 -> u1 u2))
27 lift2Value (\u1 -> (\u2 -> u1 u2))
29 | pushValue (\u1 -> u1 Term)
31 | | catchException "fail"
33 | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4)))))
35 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
36 | | | | call name_1021
37 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
38 | | | | call name_1019
39 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
40 | | | | popException "fail"
43 | | | read ((\u1 -> (\u2 -> u1)) Term)
46 | | | choicesBranch [(Term ==),(Term ==),(Term ==),(Term ==),(Term ==),(Term ==),(Term ==)]
48 | | | | pushValue (\u1 -> (\u2 -> cons Term))
49 | | | | read ((\u1 -> (\u2 -> u1)) Term)
50 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
51 | | | | refJoin join_879
53 | | | | pushValue (\u1 -> (\u2 -> cons Term))
54 | | | | read ((\u1 -> (\u2 -> u1)) Term)
55 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
56 | | | | refJoin join_879
58 | | | | pushValue (\u1 -> (\u2 -> cons Term))
59 | | | | read ((\u1 -> (\u2 -> u1)) Term)
60 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
61 | | | | refJoin join_879
63 | | | | pushValue (\u1 -> (\u2 -> cons Term))
64 | | | | read ((\u1 -> (\u2 -> u1)) Term)
65 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
66 | | | | refJoin join_879
68 | | | | pushValue (\u1 -> (\u2 -> cons Term))
69 | | | | read ((\u1 -> (\u2 -> u1)) Term)
70 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
71 | | | | refJoin join_879
73 | | | | pushValue (\u1 -> (\u2 -> cons Term))
74 | | | | read ((\u1 -> (\u2 -> u1)) Term)
75 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
76 | | | | refJoin join_879
78 | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> cons (Term u3))))))
79 | | | | read ((\u1 -> (\u2 -> u1)) Term)
80 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
81 | | | | call name_1021
82 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
83 | | | | call name_1020
84 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
86 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
87 | | | | refJoin join_879
89 | | | raiseException "fail"
93 | | choicesBranch [(\u1 -> u1)]
95 | | | pushValue (\u1 -> u1)
98 | | raiseException "fail"
100 | lift2Value (\u1 -> (\u2 -> u1 u2))
103 lift2Value (\u1 -> (\u2 -> u1 u2))