Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Flowchart10 / Flowchart10.smt2 @ eb639349

History | View | Annotate | Download (141 KB)

1
(declare-datatypes () ((flowchart10_flowchart10__type POINTFlowchart10_Flowchart10 POINT__TO__FLOWCHART10_A_1 FLOWCHART10_FLOWCHART10_PARALLEL_IDL)));
2

    
3
(declare-datatypes () ((flowchart10_a_INNER__type POINTFlowchart10_A_INNER FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1 FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2)));
4

    
5
(declare-datatypes () ((flowchart10_a__type POINTFlowchart10_A POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1 POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2)));
6

    
7
; POINT__To__Flowchart10_Flowchart10Junction753_1_Condition_Action
8
(declare-var POINT__To__Flowchart10_Flowchart10Junction753_1_Condition_Action.y_1 Int)
9
(declare-var POINT__To__Flowchart10_Flowchart10Junction753_1_Condition_Action.y Int)
10
(declare-rel POINT__To__Flowchart10_Flowchart10Junction753_1_Condition_Action (Int Int))
11
(rule (=> 
12
  (= POINT__To__Flowchart10_Flowchart10Junction753_1_Condition_Action.y (+ POINT__To__Flowchart10_Flowchart10Junction753_1_Condition_Action.y_1 1))
13
  (POINT__To__Flowchart10_Flowchart10Junction753_1_Condition_Action POINT__To__Flowchart10_Flowchart10Junction753_1_Condition_Action.y_1 POINT__To__Flowchart10_Flowchart10Junction753_1_Condition_Action.y)
14
))
15

    
16
; POINT__To__Flowchart10_Flowchart10Junction754_2_Condition_Action
17
(declare-var POINT__To__Flowchart10_Flowchart10Junction754_2_Condition_Action.y_1 Int)
18
(declare-var POINT__To__Flowchart10_Flowchart10Junction754_2_Condition_Action.y Int)
19
(declare-rel POINT__To__Flowchart10_Flowchart10Junction754_2_Condition_Action (Int Int))
20
(rule (=> 
21
  (= POINT__To__Flowchart10_Flowchart10Junction754_2_Condition_Action.y (- POINT__To__Flowchart10_Flowchart10Junction754_2_Condition_Action.y_1 1))
22
  (POINT__To__Flowchart10_Flowchart10Junction754_2_Condition_Action POINT__To__Flowchart10_Flowchart10Junction754_2_Condition_Action.y_1 POINT__To__Flowchart10_Flowchart10Junction754_2_Condition_Action.y)
23
))
24

    
25
; flowchart10_a__POINTFlowchart10_A_handler_until
26
(declare-var flowchart10_a__POINTFlowchart10_A_handler_until.idFlowchart10_A_1 Int)
27
(declare-var flowchart10_a__POINTFlowchart10_A_handler_until.y_1 Int)
28
(declare-var flowchart10_a__POINTFlowchart10_A_handler_until.flowchart10_a__restart_in Bool)
29
(declare-var flowchart10_a__POINTFlowchart10_A_handler_until.flowchart10_a__state_in flowchart10_a__type)
30
(declare-var flowchart10_a__POINTFlowchart10_A_handler_until.idFlowchart10_A_out Int)
31
(declare-var flowchart10_a__POINTFlowchart10_A_handler_until.y_out Int)
32
(declare-rel flowchart10_a__POINTFlowchart10_A_handler_until (Int Int Bool flowchart10_a__type Int Int))
33
(rule (=> 
34
  (and (= flowchart10_a__POINTFlowchart10_A_handler_until.y_out flowchart10_a__POINTFlowchart10_A_handler_until.y_1)
35
       (= flowchart10_a__POINTFlowchart10_A_handler_until.idFlowchart10_A_out flowchart10_a__POINTFlowchart10_A_handler_until.idFlowchart10_A_1)
36
       (= flowchart10_a__POINTFlowchart10_A_handler_until.flowchart10_a__state_in POINTFlowchart10_A)
37
       (= flowchart10_a__POINTFlowchart10_A_handler_until.flowchart10_a__restart_in false)
38
       )
39
  (flowchart10_a__POINTFlowchart10_A_handler_until flowchart10_a__POINTFlowchart10_A_handler_until.idFlowchart10_A_1 flowchart10_a__POINTFlowchart10_A_handler_until.y_1 flowchart10_a__POINTFlowchart10_A_handler_until.flowchart10_a__restart_in flowchart10_a__POINTFlowchart10_A_handler_until.flowchart10_a__state_in flowchart10_a__POINTFlowchart10_A_handler_until.idFlowchart10_A_out flowchart10_a__POINTFlowchart10_A_handler_until.y_out)
40
))
41

    
42
; flowchart10_a__POINTFlowchart10_A_unless
43
(declare-var flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__restart_in Bool)
44
(declare-var flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__state_in flowchart10_a__type)
45
(declare-var flowchart10_a__POINTFlowchart10_A_unless.idFlowchart10_A_1 Int)
46
(declare-var flowchart10_a__POINTFlowchart10_A_unless.x Int)
47
(declare-var flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__restart_act Bool)
48
(declare-var flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__state_act flowchart10_a__type)
49
(declare-var flowchart10_a__POINTFlowchart10_A_unless.__flowchart10_a__POINTFlowchart10_A_unless_1 Bool)
50
(declare-var flowchart10_a__POINTFlowchart10_A_unless.__flowchart10_a__POINTFlowchart10_A_unless_2 Bool)
51
(declare-rel flowchart10_a__POINTFlowchart10_A_unless (Bool flowchart10_a__type Int Int Bool flowchart10_a__type))
52
(rule (=> 
53
  (and (= flowchart10_a__POINTFlowchart10_A_unless.__flowchart10_a__POINTFlowchart10_A_unless_2 (and (= flowchart10_a__POINTFlowchart10_A_unless.idFlowchart10_A_1 0) (> flowchart10_a__POINTFlowchart10_A_unless.x 0)))
54
       (= flowchart10_a__POINTFlowchart10_A_unless.__flowchart10_a__POINTFlowchart10_A_unless_1 (and (= flowchart10_a__POINTFlowchart10_A_unless.idFlowchart10_A_1 0) (= flowchart10_a__POINTFlowchart10_A_unless.x 0)))
55
       (and (or (not (= flowchart10_a__POINTFlowchart10_A_unless.__flowchart10_a__POINTFlowchart10_A_unless_1 false))
56
               (and (or (not (= flowchart10_a__POINTFlowchart10_A_unless.__flowchart10_a__POINTFlowchart10_A_unless_2 false))
57
                       (and (= flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__state_act flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__state_in)
58
                            (= flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__restart_act flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__restart_in)
59
                            ))
60
                    (or (not (= flowchart10_a__POINTFlowchart10_A_unless.__flowchart10_a__POINTFlowchart10_A_unless_2 true))
61
                       (and (= flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__state_act POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2)
62
                            (= flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__restart_act true)
63
                            ))
64
               ))
65
            (or (not (= flowchart10_a__POINTFlowchart10_A_unless.__flowchart10_a__POINTFlowchart10_A_unless_1 true))
66
               (and (= flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__state_act POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1)
67
                    (= flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__restart_act true)
68
                    ))
69
       )
70
       )
71
  (flowchart10_a__POINTFlowchart10_A_unless flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__restart_in flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__state_in flowchart10_a__POINTFlowchart10_A_unless.idFlowchart10_A_1 flowchart10_a__POINTFlowchart10_A_unless.x flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__restart_act flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__state_act)
72
))
73

    
74
; flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_handler_until
75
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_handler_until.idFlowchart10_A_1 Int)
76
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_handler_until.y_1 Int)
77
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_handler_until.flowchart10_a__restart_in Bool)
78
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_handler_until.flowchart10_a__state_in flowchart10_a__type)
79
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_handler_until.idFlowchart10_A_out Int)
80
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_handler_until.y_out Int)
81
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_handler_until.y_2 Int)
82
(declare-rel flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_handler_until (Int Int Bool flowchart10_a__type Int Int))
83
(rule (=> 
84
  (and (POINT__To__Flowchart10_Flowchart10Junction753_1_Condition_Action 
85
       flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_handler_until.y_1
86
       flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_handler_until.y_2)
87
       (= flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_handler_until.y_out flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_handler_until.y_2)
88
       (= flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_handler_until.idFlowchart10_A_out flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_handler_until.idFlowchart10_A_1)
89
       (= flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_handler_until.flowchart10_a__state_in POINTFlowchart10_A)
90
       (= flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_handler_until.flowchart10_a__restart_in true)
91
       )
92
  (flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_handler_until flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_handler_until.idFlowchart10_A_1 flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_handler_until.y_1 flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_handler_until.flowchart10_a__restart_in flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_handler_until.flowchart10_a__state_in flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_handler_until.idFlowchart10_A_out flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_handler_until.y_out)
93
))
94

    
95
; flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_unless
96
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_unless.flowchart10_a__restart_in Bool)
97
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_unless.flowchart10_a__state_in flowchart10_a__type)
98
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_unless.flowchart10_a__restart_act Bool)
99
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_unless.flowchart10_a__state_act flowchart10_a__type)
100
(declare-rel flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_unless (Bool flowchart10_a__type Bool flowchart10_a__type))
101
(rule (=> 
102
  (and (= flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_unless.flowchart10_a__state_act flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_unless.flowchart10_a__state_in)
103
       (= flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_unless.flowchart10_a__restart_act flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_unless.flowchart10_a__restart_in)
104
       )
105
  (flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_unless flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_unless.flowchart10_a__restart_in flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_unless.flowchart10_a__state_in flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_unless.flowchart10_a__restart_act flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_unless.flowchart10_a__state_act)
106
))
107

    
108
; flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_handler_until
109
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_handler_until.idFlowchart10_A_1 Int)
110
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_handler_until.y_1 Int)
111
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_handler_until.flowchart10_a__restart_in Bool)
112
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_handler_until.flowchart10_a__state_in flowchart10_a__type)
113
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_handler_until.idFlowchart10_A_out Int)
114
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_handler_until.y_out Int)
115
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_handler_until.y_2 Int)
116
(declare-rel flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_handler_until (Int Int Bool flowchart10_a__type Int Int))
117
(rule (=> 
118
  (and (POINT__To__Flowchart10_Flowchart10Junction754_2_Condition_Action 
119
       flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_handler_until.y_1
120
       flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_handler_until.y_2)
121
       (= flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_handler_until.y_out flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_handler_until.y_2)
122
       (= flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_handler_until.idFlowchart10_A_out flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_handler_until.idFlowchart10_A_1)
123
       (= flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_handler_until.flowchart10_a__state_in POINTFlowchart10_A)
124
       (= flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_handler_until.flowchart10_a__restart_in true)
125
       )
126
  (flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_handler_until flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_handler_until.idFlowchart10_A_1 flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_handler_until.y_1 flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_handler_until.flowchart10_a__restart_in flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_handler_until.flowchart10_a__state_in flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_handler_until.idFlowchart10_A_out flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_handler_until.y_out)
127
))
128

    
129
; flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_unless
130
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_unless.flowchart10_a__restart_in Bool)
131
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_unless.flowchart10_a__state_in flowchart10_a__type)
132
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_unless.flowchart10_a__restart_act Bool)
133
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_unless.flowchart10_a__state_act flowchart10_a__type)
134
(declare-rel flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_unless (Bool flowchart10_a__type Bool flowchart10_a__type))
135
(rule (=> 
136
  (and (= flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_unless.flowchart10_a__state_act flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_unless.flowchart10_a__state_in)
137
       (= flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_unless.flowchart10_a__restart_act flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_unless.flowchart10_a__restart_in)
138
       )
139
  (flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_unless flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_unless.flowchart10_a__restart_in flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_unless.flowchart10_a__state_in flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_unless.flowchart10_a__restart_act flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_unless.flowchart10_a__state_act)
140
))
141

    
142
; Flowchart10_A_node
143
(declare-var Flowchart10_A_node.idFlowchart10_A_1 Int)
144
(declare-var Flowchart10_A_node.x Int)
145
(declare-var Flowchart10_A_node.y_1 Int)
146
(declare-var Flowchart10_A_node.idFlowchart10_A Int)
147
(declare-var Flowchart10_A_node.y Int)
148
(declare-var Flowchart10_A_node.__Flowchart10_A_node_20_c Bool)
149
(declare-var Flowchart10_A_node.__Flowchart10_A_node_21_c flowchart10_a__type)
150
(declare-var Flowchart10_A_node.ni_8._arrow._first_c Bool)
151
(declare-var Flowchart10_A_node.__Flowchart10_A_node_20_m Bool)
152
(declare-var Flowchart10_A_node.__Flowchart10_A_node_21_m flowchart10_a__type)
153
(declare-var Flowchart10_A_node.ni_8._arrow._first_m Bool)
154
(declare-var Flowchart10_A_node.__Flowchart10_A_node_20_x Bool)
155
(declare-var Flowchart10_A_node.__Flowchart10_A_node_21_x flowchart10_a__type)
156
(declare-var Flowchart10_A_node.ni_8._arrow._first_x Bool)
157
(declare-var Flowchart10_A_node.__Flowchart10_A_node_1 Bool)
158
(declare-var Flowchart10_A_node.__Flowchart10_A_node_10 Int)
159
(declare-var Flowchart10_A_node.__Flowchart10_A_node_11 Bool)
160
(declare-var Flowchart10_A_node.__Flowchart10_A_node_12 flowchart10_a__type)
161
(declare-var Flowchart10_A_node.__Flowchart10_A_node_13 Int)
162
(declare-var Flowchart10_A_node.__Flowchart10_A_node_14 Int)
163
(declare-var Flowchart10_A_node.__Flowchart10_A_node_15 Bool)
164
(declare-var Flowchart10_A_node.__Flowchart10_A_node_16 flowchart10_a__type)
165
(declare-var Flowchart10_A_node.__Flowchart10_A_node_17 Int)
166
(declare-var Flowchart10_A_node.__Flowchart10_A_node_18 Int)
167
(declare-var Flowchart10_A_node.__Flowchart10_A_node_19 Bool)
168
(declare-var Flowchart10_A_node.__Flowchart10_A_node_2 flowchart10_a__type)
169
(declare-var Flowchart10_A_node.__Flowchart10_A_node_3 Bool)
170
(declare-var Flowchart10_A_node.__Flowchart10_A_node_4 flowchart10_a__type)
171
(declare-var Flowchart10_A_node.__Flowchart10_A_node_5 Bool)
172
(declare-var Flowchart10_A_node.__Flowchart10_A_node_6 flowchart10_a__type)
173
(declare-var Flowchart10_A_node.__Flowchart10_A_node_7 Bool)
174
(declare-var Flowchart10_A_node.__Flowchart10_A_node_8 flowchart10_a__type)
175
(declare-var Flowchart10_A_node.__Flowchart10_A_node_9 Int)
176
(declare-var Flowchart10_A_node.flowchart10_a__next_restart_in Bool)
177
(declare-var Flowchart10_A_node.flowchart10_a__next_state_in flowchart10_a__type)
178
(declare-var Flowchart10_A_node.flowchart10_a__restart_act Bool)
179
(declare-var Flowchart10_A_node.flowchart10_a__restart_in Bool)
180
(declare-var Flowchart10_A_node.flowchart10_a__state_act flowchart10_a__type)
181
(declare-var Flowchart10_A_node.flowchart10_a__state_in flowchart10_a__type)
182
(declare-rel Flowchart10_A_node_reset (Bool flowchart10_a__type Bool Bool flowchart10_a__type Bool))
183
(declare-rel Flowchart10_A_node_step (Int Int Int Int Int Bool flowchart10_a__type Bool Bool flowchart10_a__type Bool))
184

    
185
(rule (=> 
186
  (and 
187
       (= Flowchart10_A_node.__Flowchart10_A_node_20_m Flowchart10_A_node.__Flowchart10_A_node_20_c)
188
       (= Flowchart10_A_node.__Flowchart10_A_node_21_m Flowchart10_A_node.__Flowchart10_A_node_21_c)
189
       (= Flowchart10_A_node.ni_8._arrow._first_m true)
190
  )
191
  (Flowchart10_A_node_reset Flowchart10_A_node.__Flowchart10_A_node_20_c
192
                            Flowchart10_A_node.__Flowchart10_A_node_21_c
193
                            Flowchart10_A_node.ni_8._arrow._first_c
194
                            Flowchart10_A_node.__Flowchart10_A_node_20_m
195
                            Flowchart10_A_node.__Flowchart10_A_node_21_m
196
                            Flowchart10_A_node.ni_8._arrow._first_m)
197
))
198

    
199
(rule (=> 
200
  (and (= Flowchart10_A_node.ni_8._arrow._first_m Flowchart10_A_node.ni_8._arrow._first_c)
201
       (and (= Flowchart10_A_node.__Flowchart10_A_node_19 (ite Flowchart10_A_node.ni_8._arrow._first_m true false))
202
            (= Flowchart10_A_node.ni_8._arrow._first_x false))
203
       (and (or (not (= Flowchart10_A_node.__Flowchart10_A_node_19 false))
204
               (and (= Flowchart10_A_node.flowchart10_a__state_in Flowchart10_A_node.__Flowchart10_A_node_21_c)
205
                    (= Flowchart10_A_node.flowchart10_a__restart_in Flowchart10_A_node.__Flowchart10_A_node_20_c)
206
                    ))
207
            (or (not (= Flowchart10_A_node.__Flowchart10_A_node_19 true))
208
               (and (= Flowchart10_A_node.flowchart10_a__state_in POINTFlowchart10_A)
209
                    (= Flowchart10_A_node.flowchart10_a__restart_in false)
210
                    ))
211
       )
212
       (and (or (not (= Flowchart10_A_node.flowchart10_a__state_in POINTFlowchart10_A))
213
               (and (flowchart10_a__POINTFlowchart10_A_unless Flowchart10_A_node.flowchart10_a__restart_in
214
                                                              Flowchart10_A_node.flowchart10_a__state_in
215
                                                              Flowchart10_A_node.idFlowchart10_A_1
216
                                                              Flowchart10_A_node.x
217
                                                              Flowchart10_A_node.__Flowchart10_A_node_5
218
                                                              Flowchart10_A_node.__Flowchart10_A_node_6)
219
                    (= Flowchart10_A_node.flowchart10_a__state_act Flowchart10_A_node.__Flowchart10_A_node_6)
220
                    (= Flowchart10_A_node.flowchart10_a__restart_act Flowchart10_A_node.__Flowchart10_A_node_5)
221
                    ))
222
            (or (not (= Flowchart10_A_node.flowchart10_a__state_in POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1))
223
               (and (flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_unless 
224
                    Flowchart10_A_node.flowchart10_a__restart_in
225
                    Flowchart10_A_node.flowchart10_a__state_in
226
                    Flowchart10_A_node.__Flowchart10_A_node_3
227
                    Flowchart10_A_node.__Flowchart10_A_node_4)
228
                    (= Flowchart10_A_node.flowchart10_a__state_act Flowchart10_A_node.__Flowchart10_A_node_4)
229
                    (= Flowchart10_A_node.flowchart10_a__restart_act Flowchart10_A_node.__Flowchart10_A_node_3)
230
                    ))
231
            (or (not (= Flowchart10_A_node.flowchart10_a__state_in POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2))
232
               (and (flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_unless 
233
                    Flowchart10_A_node.flowchart10_a__restart_in
234
                    Flowchart10_A_node.flowchart10_a__state_in
235
                    Flowchart10_A_node.__Flowchart10_A_node_1
236
                    Flowchart10_A_node.__Flowchart10_A_node_2)
237
                    (= Flowchart10_A_node.flowchart10_a__state_act Flowchart10_A_node.__Flowchart10_A_node_2)
238
                    (= Flowchart10_A_node.flowchart10_a__restart_act Flowchart10_A_node.__Flowchart10_A_node_1)
239
                    ))
240
       )
241
       (and (or (not (= Flowchart10_A_node.flowchart10_a__state_act POINTFlowchart10_A))
242
               (and (flowchart10_a__POINTFlowchart10_A_handler_until 
243
                    Flowchart10_A_node.idFlowchart10_A_1
244
                    Flowchart10_A_node.y_1
245
                    Flowchart10_A_node.__Flowchart10_A_node_15
246
                    Flowchart10_A_node.__Flowchart10_A_node_16
247
                    Flowchart10_A_node.__Flowchart10_A_node_17
248
                    Flowchart10_A_node.__Flowchart10_A_node_18)
249
                    (= Flowchart10_A_node.y Flowchart10_A_node.__Flowchart10_A_node_18)
250
                    (= Flowchart10_A_node.idFlowchart10_A Flowchart10_A_node.__Flowchart10_A_node_17)
251
                    (= Flowchart10_A_node.flowchart10_a__next_state_in Flowchart10_A_node.__Flowchart10_A_node_16)
252
                    (= Flowchart10_A_node.flowchart10_a__next_restart_in Flowchart10_A_node.__Flowchart10_A_node_15)
253
                    ))
254
            (or (not (= Flowchart10_A_node.flowchart10_a__state_act POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1))
255
               (and (flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_handler_until 
256
                    Flowchart10_A_node.idFlowchart10_A_1
257
                    Flowchart10_A_node.y_1
258
                    Flowchart10_A_node.__Flowchart10_A_node_11
259
                    Flowchart10_A_node.__Flowchart10_A_node_12
260
                    Flowchart10_A_node.__Flowchart10_A_node_13
261
                    Flowchart10_A_node.__Flowchart10_A_node_14)
262
                    (= Flowchart10_A_node.y Flowchart10_A_node.__Flowchart10_A_node_14)
263
                    (= Flowchart10_A_node.idFlowchart10_A Flowchart10_A_node.__Flowchart10_A_node_13)
264
                    (= Flowchart10_A_node.flowchart10_a__next_state_in Flowchart10_A_node.__Flowchart10_A_node_12)
265
                    (= Flowchart10_A_node.flowchart10_a__next_restart_in Flowchart10_A_node.__Flowchart10_A_node_11)
266
                    ))
267
            (or (not (= Flowchart10_A_node.flowchart10_a__state_act POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2))
268
               (and (flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_handler_until 
269
                    Flowchart10_A_node.idFlowchart10_A_1
270
                    Flowchart10_A_node.y_1
271
                    Flowchart10_A_node.__Flowchart10_A_node_7
272
                    Flowchart10_A_node.__Flowchart10_A_node_8
273
                    Flowchart10_A_node.__Flowchart10_A_node_9
274
                    Flowchart10_A_node.__Flowchart10_A_node_10)
275
                    (= Flowchart10_A_node.y Flowchart10_A_node.__Flowchart10_A_node_10)
276
                    (= Flowchart10_A_node.idFlowchart10_A Flowchart10_A_node.__Flowchart10_A_node_9)
277
                    (= Flowchart10_A_node.flowchart10_a__next_state_in Flowchart10_A_node.__Flowchart10_A_node_8)
278
                    (= Flowchart10_A_node.flowchart10_a__next_restart_in Flowchart10_A_node.__Flowchart10_A_node_7)
279
                    ))
280
       )
281
       (= Flowchart10_A_node.__Flowchart10_A_node_21_x Flowchart10_A_node.flowchart10_a__next_state_in)
282
       (= Flowchart10_A_node.__Flowchart10_A_node_20_x Flowchart10_A_node.flowchart10_a__next_restart_in)
283
       )
284
  (Flowchart10_A_node_step Flowchart10_A_node.idFlowchart10_A_1
285
                           Flowchart10_A_node.x
286
                           Flowchart10_A_node.y_1
287
                           Flowchart10_A_node.idFlowchart10_A
288
                           Flowchart10_A_node.y
289
                           Flowchart10_A_node.__Flowchart10_A_node_20_c
290
                           Flowchart10_A_node.__Flowchart10_A_node_21_c
291
                           Flowchart10_A_node.ni_8._arrow._first_c
292
                           Flowchart10_A_node.__Flowchart10_A_node_20_x
293
                           Flowchart10_A_node.__Flowchart10_A_node_21_x
294
                           Flowchart10_A_node.ni_8._arrow._first_x)
295
))
296

    
297
; Flowchart10_A_en
298
(declare-var Flowchart10_A_en.idFlowchart10_A_1 Int)
299
(declare-var Flowchart10_A_en.idFlowchart10_Flowchart10_1 Int)
300
(declare-var Flowchart10_A_en.x Int)
301
(declare-var Flowchart10_A_en.y_1 Int)
302
(declare-var Flowchart10_A_en.isInner Bool)
303
(declare-var Flowchart10_A_en.idFlowchart10_A Int)
304
(declare-var Flowchart10_A_en.idFlowchart10_Flowchart10 Int)
305
(declare-var Flowchart10_A_en.y Int)
306
(declare-var Flowchart10_A_en.__Flowchart10_A_en_1 Bool)
307
(declare-var Flowchart10_A_en.__Flowchart10_A_en_2 Bool)
308
(declare-var Flowchart10_A_en.__Flowchart10_A_en_3 Bool)
309
(declare-var Flowchart10_A_en.__Flowchart10_A_en_4 Int)
310
(declare-var Flowchart10_A_en.__Flowchart10_A_en_5 Int)
311
(declare-var Flowchart10_A_en.idFlowchart10_A_2 Int)
312
(declare-var Flowchart10_A_en.idFlowchart10_A_3 Int)
313
(declare-var Flowchart10_A_en.idFlowchart10_Flowchart10_3 Int)
314
(declare-var Flowchart10_A_en.idFlowchart10_Flowchart10_4 Int)
315
(declare-var Flowchart10_A_en.y_2 Int)
316
(declare-var Flowchart10_A_en.y_3 Int)
317
(declare-var Flowchart10_A_en.y_4 Int)
318
(declare-var Flowchart10_A_en.y_5 Int)
319
(declare-rel Flowchart10_A_en (Int Int Int Int Bool Int Int Int))
320
(rule (=> 
321
  (and (POINT__To__Flowchart10_Flowchart10Junction754_2_Condition_Action 
322
       Flowchart10_A_en.y_1
323
       Flowchart10_A_en.__Flowchart10_A_en_4)
324
       (= Flowchart10_A_en.__Flowchart10_A_en_3 (> Flowchart10_A_en.x 0))
325
       (and (or (not (= Flowchart10_A_en.__Flowchart10_A_en_3 true))
326
               (= Flowchart10_A_en.y_3 Flowchart10_A_en.__Flowchart10_A_en_4))
327
            (or (not (= Flowchart10_A_en.__Flowchart10_A_en_3 false))
328
               (= Flowchart10_A_en.y_3 Flowchart10_A_en.y_1))
329
       )
330
       (POINT__To__Flowchart10_Flowchart10Junction753_1_Condition_Action 
331
       Flowchart10_A_en.y_1
332
       Flowchart10_A_en.__Flowchart10_A_en_5)
333
       (= Flowchart10_A_en.__Flowchart10_A_en_2 (= Flowchart10_A_en.x 0))
334
       (and (or (not (= Flowchart10_A_en.__Flowchart10_A_en_2 true))
335
               (= Flowchart10_A_en.y_2 Flowchart10_A_en.__Flowchart10_A_en_5))
336
            (or (not (= Flowchart10_A_en.__Flowchart10_A_en_2 false))
337
               (= Flowchart10_A_en.y_2 Flowchart10_A_en.y_1))
338
       )
339
       (= Flowchart10_A_en.__Flowchart10_A_en_1 (= Flowchart10_A_en.idFlowchart10_A_1 0))
340
       (and (or (not (= Flowchart10_A_en.__Flowchart10_A_en_1 false))
341
               (and (= Flowchart10_A_en.y_4 Flowchart10_A_en.y_1)
342
                    (= Flowchart10_A_en.idFlowchart10_Flowchart10_3 752)
343
                    (= Flowchart10_A_en.idFlowchart10_A_2 Flowchart10_A_en.idFlowchart10_A_1)
344
                    (= Flowchart10_A_en.y_5 Flowchart10_A_en.y_1)
345
                    (= Flowchart10_A_en.idFlowchart10_Flowchart10_4 752)
346
                    (= Flowchart10_A_en.idFlowchart10_A_3 Flowchart10_A_en.idFlowchart10_A_1)
347
                    ))
348
            (or (not (= Flowchart10_A_en.__Flowchart10_A_en_1 true))
349
               (and (and (or (not (= Flowchart10_A_en.__Flowchart10_A_en_2 false))
350
                            (and (or (not (= Flowchart10_A_en.__Flowchart10_A_en_3 false))
351
                                    (and (= Flowchart10_A_en.y_4 Flowchart10_A_en.y_1)
352
                                         (= Flowchart10_A_en.idFlowchart10_Flowchart10_3 752)
353
                                         (= Flowchart10_A_en.idFlowchart10_A_2 Flowchart10_A_en.idFlowchart10_A_1)
354
                                         ))
355
                                 (or (not (= Flowchart10_A_en.__Flowchart10_A_en_3 true))
356
                                    (and (= Flowchart10_A_en.y_4 Flowchart10_A_en.y_3)
357
                                         (= Flowchart10_A_en.idFlowchart10_Flowchart10_3 752)
358
                                         (= Flowchart10_A_en.idFlowchart10_A_2 Flowchart10_A_en.idFlowchart10_A_1)
359
                                         ))
360
                            ))
361
                         (or (not (= Flowchart10_A_en.__Flowchart10_A_en_2 true))
362
                            (and (= Flowchart10_A_en.y_4 Flowchart10_A_en.y_2)
363
                                 (= Flowchart10_A_en.idFlowchart10_Flowchart10_3 752)
364
                                 (= Flowchart10_A_en.idFlowchart10_A_2 Flowchart10_A_en.idFlowchart10_A_1)
365
                                 ))
366
                    )
367
                    (= Flowchart10_A_en.y_5 Flowchart10_A_en.y_4)
368
                    (= Flowchart10_A_en.idFlowchart10_Flowchart10_4 Flowchart10_A_en.idFlowchart10_Flowchart10_3)
369
                    (= Flowchart10_A_en.idFlowchart10_A_3 Flowchart10_A_en.idFlowchart10_A_2)
370
                    ))
371
       )
372
       (= Flowchart10_A_en.y Flowchart10_A_en.y_5)
373
       (= Flowchart10_A_en.idFlowchart10_Flowchart10 Flowchart10_A_en.idFlowchart10_Flowchart10_4)
374
       (= Flowchart10_A_en.idFlowchart10_A (- 1))
375
       )
376
  (Flowchart10_A_en Flowchart10_A_en.idFlowchart10_A_1 Flowchart10_A_en.idFlowchart10_Flowchart10_1 Flowchart10_A_en.x Flowchart10_A_en.y_1 Flowchart10_A_en.isInner Flowchart10_A_en.idFlowchart10_A Flowchart10_A_en.idFlowchart10_Flowchart10 Flowchart10_A_en.y)
377
))
378

    
379
; flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until
380
(declare-var flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.idFlowchart10_Flowchart10_1 Int)
381
(declare-var flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.idFlowchart10_A_1 Int)
382
(declare-var flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.x Int)
383
(declare-var flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.y_1 Int)
384
(declare-var flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.flowchart10_flowchart10__restart_in Bool)
385
(declare-var flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.flowchart10_flowchart10__state_in flowchart10_flowchart10__type)
386
(declare-var flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.idFlowchart10_A_out Int)
387
(declare-var flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.idFlowchart10_Flowchart10_out Int)
388
(declare-var flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.y_out Int)
389
(declare-var flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_c Bool)
390
(declare-var flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_c flowchart10_a__type)
391
(declare-var flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_c Bool)
392
(declare-var flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_m Bool)
393
(declare-var flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_m flowchart10_a__type)
394
(declare-var flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_m Bool)
395
(declare-var flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_x Bool)
396
(declare-var flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_x flowchart10_a__type)
397
(declare-var flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_x Bool)
398
(declare-var flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.__flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until_1 Bool)
399
(declare-var flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.__flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until_2 Int)
400
(declare-var flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.__flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until_3 Int)
401
(declare-var flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.idFlowchart10_A_2 Int)
402
(declare-var flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.y_2 Int)
403
(declare-rel flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until_reset (Bool flowchart10_a__type Bool Bool flowchart10_a__type Bool))
404
(declare-rel flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until_step (Int Int Int Int Bool flowchart10_flowchart10__type Int Int Int Bool flowchart10_a__type Bool Bool flowchart10_a__type Bool))
405

    
406
(rule (=> 
407
  (and 
408
       
409
       (Flowchart10_A_node_reset flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_c
410
                                 flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_c
411
                                 flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_c
412
                                 flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_m
413
                                 flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_m
414
                                 flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_m)
415
  )
416
  (flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until_reset 
417
  flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_c
418
  flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_c
419
  flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_c
420
  flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_m
421
  flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_m
422
  flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_m)
423
))
424

    
425
(rule (=> 
426
  (and (and (= flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_m flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_c)
427
            (= flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_m flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_c)
428
            (= flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_m flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_c)
429
            )
430
       (Flowchart10_A_node_step flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.idFlowchart10_A_1
431
                                flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.x
432
                                flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.y_1
433
                                flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.__flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until_2
434
                                flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.__flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until_3
435
                                flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_m
436
                                flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_m
437
                                flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_m
438
                                flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_x
439
                                flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_x
440
                                flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_x)
441
       (= flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.__flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until_1 (not (= flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.idFlowchart10_A_1 0)))
442
       (and (or (not (= flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.__flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until_1 true))
443
               (= flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.y_2 flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.__flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until_3))
444
            (or (not (= flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.__flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until_1 false))
445
               (= flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.y_2 flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.y_1))
446
       )
447
       (= flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.y_out flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.y_2)
448
       (= flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.idFlowchart10_Flowchart10_out flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.idFlowchart10_Flowchart10_1)
449
       (and (or (not (= flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.__flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until_1 true))
450
               (= flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.idFlowchart10_A_2 flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.__flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until_2))
451
            (or (not (= flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.__flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until_1 false))
452
               (= flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.idFlowchart10_A_2 flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.idFlowchart10_A_1))
453
       )
454
       (= flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.idFlowchart10_A_out flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.idFlowchart10_A_2)
455
       (= flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.flowchart10_flowchart10__state_in POINTFlowchart10_Flowchart10)
456
       (= flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.flowchart10_flowchart10__restart_in true)
457
       )
458
  (flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until_step 
459
  flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.idFlowchart10_Flowchart10_1
460
  flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.idFlowchart10_A_1
461
  flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.x
462
  flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.y_1
463
  flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.flowchart10_flowchart10__restart_in
464
  flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.flowchart10_flowchart10__state_in
465
  flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.idFlowchart10_A_out
466
  flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.idFlowchart10_Flowchart10_out
467
  flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.y_out
468
  flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_c
469
  flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_c
470
  flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_c
471
  flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_x
472
  flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_x
473
  flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_x)
474
))
475

    
476
; flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_unless
477
(declare-var flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_unless.flowchart10_flowchart10__restart_in Bool)
478
(declare-var flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_unless.flowchart10_flowchart10__state_in flowchart10_flowchart10__type)
479
(declare-var flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_unless.flowchart10_flowchart10__restart_act Bool)
480
(declare-var flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_unless.flowchart10_flowchart10__state_act flowchart10_flowchart10__type)
481
(declare-rel flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_unless (Bool flowchart10_flowchart10__type Bool flowchart10_flowchart10__type))
482
(rule (=> 
483
  (and (= flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_unless.flowchart10_flowchart10__state_act flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_unless.flowchart10_flowchart10__state_in)
484
       (= flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_unless.flowchart10_flowchart10__restart_act flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_unless.flowchart10_flowchart10__restart_in)
485
       )
486
  (flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_unless flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_unless.flowchart10_flowchart10__restart_in flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_unless.flowchart10_flowchart10__state_in flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_unless.flowchart10_flowchart10__restart_act flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_unless.flowchart10_flowchart10__state_act)
487
))
488

    
489
; flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until
490
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.idFlowchart10_Flowchart10_1 Int)
491
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.idFlowchart10_A_1 Int)
492
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.y_1 Int)
493
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.flowchart10_flowchart10__restart_in Bool)
494
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.flowchart10_flowchart10__state_in flowchart10_flowchart10__type)
495
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.idFlowchart10_A_out Int)
496
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.idFlowchart10_Flowchart10_out Int)
497
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.y_out Int)
498
(declare-rel flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until (Int Int Int Bool flowchart10_flowchart10__type Int Int Int))
499
(rule (=> 
500
  (and (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.y_out flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.y_1)
501
       (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.idFlowchart10_Flowchart10_out flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.idFlowchart10_Flowchart10_1)
502
       (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.idFlowchart10_A_out flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.idFlowchart10_A_1)
503
       (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.flowchart10_flowchart10__state_in POINTFlowchart10_Flowchart10)
504
       (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.flowchart10_flowchart10__restart_in false)
505
       )
506
  (flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.idFlowchart10_Flowchart10_1 flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.idFlowchart10_A_1 flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.y_1 flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.flowchart10_flowchart10__restart_in flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.flowchart10_flowchart10__state_in flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.idFlowchart10_A_out flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.idFlowchart10_Flowchart10_out flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.y_out)
507
))
508

    
509
; flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless
510
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.flowchart10_flowchart10__restart_in Bool)
511
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.flowchart10_flowchart10__state_in flowchart10_flowchart10__type)
512
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.idFlowchart10_Flowchart10_1 Int)
513
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.flowchart10_flowchart10__restart_act Bool)
514
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.flowchart10_flowchart10__state_act flowchart10_flowchart10__type)
515
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.__flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless_1 Bool)
516
(declare-rel flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless (Bool flowchart10_flowchart10__type Int Bool flowchart10_flowchart10__type))
517
(rule (=> 
518
  (and (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.__flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless_1 (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.idFlowchart10_Flowchart10_1 0))
519
       (and (or (not (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.__flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless_1 false))
520
               (and (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.flowchart10_flowchart10__state_act FLOWCHART10_FLOWCHART10_PARALLEL_IDL)
521
                    (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.flowchart10_flowchart10__restart_act true)
522
                    ))
523
            (or (not (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.__flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless_1 true))
524
               (and (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.flowchart10_flowchart10__state_act POINT__TO__FLOWCHART10_A_1)
525
                    (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.flowchart10_flowchart10__restart_act true)
526
                    ))
527
       )
528
       )
529
  (flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.flowchart10_flowchart10__restart_in flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.flowchart10_flowchart10__state_in flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.idFlowchart10_Flowchart10_1 flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.flowchart10_flowchart10__restart_act flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.flowchart10_flowchart10__state_act)
530
))
531

    
532
; flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until
533
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_Flowchart10_1 Int)
534
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_A_1 Int)
535
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.x Int)
536
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.y_1 Int)
537
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.flowchart10_flowchart10__restart_in Bool)
538
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.flowchart10_flowchart10__state_in flowchart10_flowchart10__type)
539
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_A_out Int)
540
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_Flowchart10_out Int)
541
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.y_out Int)
542
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_A_2 Int)
543
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_Flowchart10_2 Int)
544
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.y_2 Int)
545
(declare-rel flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until (Int Int Int Int Bool flowchart10_flowchart10__type Int Int Int))
546
(rule (=> 
547
  (and (Flowchart10_A_en flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_A_1
548
                         flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_Flowchart10_1
549
                         flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.x
550
                         flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.y_1
551
                         false
552
                         flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_A_2
553
                         flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_Flowchart10_2
554
                         flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.y_2)
555
       (= flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.y_out flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.y_2)
556
       (= flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_Flowchart10_out flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_Flowchart10_2)
557
       (= flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_A_out flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_A_2)
558
       (= flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.flowchart10_flowchart10__state_in POINTFlowchart10_Flowchart10)
559
       (= flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.flowchart10_flowchart10__restart_in true)
560
       )
561
  (flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_Flowchart10_1 flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_A_1 flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.x flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.y_1 flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.flowchart10_flowchart10__restart_in flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.flowchart10_flowchart10__state_in flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_A_out flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_Flowchart10_out flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.y_out)
562
))
563

    
564
; flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_unless
565
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_unless.flowchart10_flowchart10__restart_in Bool)
566
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_unless.flowchart10_flowchart10__state_in flowchart10_flowchart10__type)
567
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_unless.flowchart10_flowchart10__restart_act Bool)
568
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_unless.flowchart10_flowchart10__state_act flowchart10_flowchart10__type)
569
(declare-rel flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_unless (Bool flowchart10_flowchart10__type Bool flowchart10_flowchart10__type))
570
(rule (=> 
571
  (and (= flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_unless.flowchart10_flowchart10__state_act flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_unless.flowchart10_flowchart10__state_in)
572
       (= flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_unless.flowchart10_flowchart10__restart_act flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_unless.flowchart10_flowchart10__restart_in)
573
       )
574
  (flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_unless flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_unless.flowchart10_flowchart10__restart_in flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_unless.flowchart10_flowchart10__state_in flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_unless.flowchart10_flowchart10__restart_act flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_unless.flowchart10_flowchart10__state_act)
575
))
576

    
577
; Flowchart10_Flowchart10_node
578
(declare-var Flowchart10_Flowchart10_node.idFlowchart10_Flowchart10_1 Int)
579
(declare-var Flowchart10_Flowchart10_node.idFlowchart10_A_1 Int)
580
(declare-var Flowchart10_Flowchart10_node.x Int)
581
(declare-var Flowchart10_Flowchart10_node.y_1 Int)
582
(declare-var Flowchart10_Flowchart10_node.idFlowchart10_Flowchart10 Int)
583
(declare-var Flowchart10_Flowchart10_node.idFlowchart10_A Int)
584
(declare-var Flowchart10_Flowchart10_node.y Int)
585
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c Bool)
586
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c flowchart10_flowchart10__type)
587
(declare-var Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_c Bool)
588
(declare-var Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_c flowchart10_a__type)
589
(declare-var Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_c Bool)
590
(declare-var Flowchart10_Flowchart10_node.ni_6._arrow._first_c Bool)
591
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_m Bool)
592
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_m flowchart10_flowchart10__type)
593
(declare-var Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_m Bool)
594
(declare-var Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_m flowchart10_a__type)
595
(declare-var Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_m Bool)
596
(declare-var Flowchart10_Flowchart10_node.ni_6._arrow._first_m Bool)
597
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_x Bool)
598
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_x flowchart10_flowchart10__type)
599
(declare-var Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_x Bool)
600
(declare-var Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_x flowchart10_a__type)
601
(declare-var Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_x Bool)
602
(declare-var Flowchart10_Flowchart10_node.ni_6._arrow._first_x Bool)
603
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_1 Bool)
604
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_10 Int)
605
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_11 Int)
606
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_12 Bool)
607
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_13 flowchart10_flowchart10__type)
608
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_14 Int)
609
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_15 Int)
610
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_16 Int)
611
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_17 Bool)
612
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_18 flowchart10_flowchart10__type)
613
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_19 Int)
614
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_2 flowchart10_flowchart10__type)
615
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_20 Int)
616
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_21 Int)
617
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_22 Bool)
618
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_3 Bool)
619
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_4 flowchart10_flowchart10__type)
620
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_5 Bool)
621
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_6 flowchart10_flowchart10__type)
622
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_7 Bool)
623
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_8 flowchart10_flowchart10__type)
624
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_9 Int)
625
(declare-var Flowchart10_Flowchart10_node.flowchart10_flowchart10__next_restart_in Bool)
626
(declare-var Flowchart10_Flowchart10_node.flowchart10_flowchart10__next_state_in flowchart10_flowchart10__type)
627
(declare-var Flowchart10_Flowchart10_node.flowchart10_flowchart10__restart_act Bool)
628
(declare-var Flowchart10_Flowchart10_node.flowchart10_flowchart10__restart_in Bool)
629
(declare-var Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_act flowchart10_flowchart10__type)
630
(declare-var Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_in flowchart10_flowchart10__type)
631
(declare-rel Flowchart10_Flowchart10_node_reset (Bool flowchart10_flowchart10__type Bool flowchart10_a__type Bool Bool Bool flowchart10_flowchart10__type Bool flowchart10_a__type Bool Bool))
632
(declare-rel Flowchart10_Flowchart10_node_step (Int Int Int Int Int Int Int Bool flowchart10_flowchart10__type Bool flowchart10_a__type Bool Bool Bool flowchart10_flowchart10__type Bool flowchart10_a__type Bool Bool))
633

    
634
(rule (=> 
635
  (and 
636
       (= Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_m Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c)
637
       (= Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_m Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c)
638
       (= Flowchart10_Flowchart10_node.ni_6._arrow._first_m true)
639
       (flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until_reset 
640
       Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_c
641
       Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_c
642
       Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_c
643
       Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_m
644
       Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_m
645
       Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_m)
646
  )
647
  (Flowchart10_Flowchart10_node_reset Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c
648
                                      Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c
649
                                      Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_c
650
                                      Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_c
651
                                      Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_c
652
                                      Flowchart10_Flowchart10_node.ni_6._arrow._first_c
653
                                      Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_m
654
                                      Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_m
655
                                      Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_m
656
                                      Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_m
657
                                      Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_m
658
                                      Flowchart10_Flowchart10_node.ni_6._arrow._first_m)
659
))
660

    
661
(rule (=> 
662
  (and (= Flowchart10_Flowchart10_node.ni_6._arrow._first_m Flowchart10_Flowchart10_node.ni_6._arrow._first_c)
663
       (and (= Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_22 (ite Flowchart10_Flowchart10_node.ni_6._arrow._first_m true false))
664
            (= Flowchart10_Flowchart10_node.ni_6._arrow._first_x false))
665
       (and (or (not (= Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_22 false))
666
               (and (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_in Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c)
667
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__restart_in Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c)
668
                    ))
669
            (or (not (= Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_22 true))
670
               (and (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_in POINTFlowchart10_Flowchart10)
671
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__restart_in false)
672
                    ))
673
       )
674
       (and (or (not (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_in FLOWCHART10_FLOWCHART10_PARALLEL_IDL))
675
               (and (flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_unless 
676
                    Flowchart10_Flowchart10_node.flowchart10_flowchart10__restart_in
677
                    Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_in
678
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_1
679
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_2)
680
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_act Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_2)
681
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__restart_act Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_1)
682
                    ))
683
            (or (not (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_in POINTFlowchart10_Flowchart10))
684
               (and (flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless 
685
                    Flowchart10_Flowchart10_node.flowchart10_flowchart10__restart_in
686
                    Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_in
687
                    Flowchart10_Flowchart10_node.idFlowchart10_Flowchart10_1
688
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_5
689
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_6)
690
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_act Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_6)
691
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__restart_act Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_5)
692
                    ))
693
            (or (not (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_in POINT__TO__FLOWCHART10_A_1))
694
               (and (flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_unless 
695
                    Flowchart10_Flowchart10_node.flowchart10_flowchart10__restart_in
696
                    Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_in
697
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_3
698
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_4)
699
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_act Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_4)
700
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__restart_act Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_3)
701
                    ))
702
       )
703
       (and (or (not (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_act FLOWCHART10_FLOWCHART10_PARALLEL_IDL))
704
               (and (and (or (not (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__restart_act true))
705
                            (flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until_reset 
706
                            Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_c
707
                            Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_c
708
                            Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_c
709
                            Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_m
710
                            Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_m
711
                            Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_m))
712
                         (or (not (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__restart_act false))
713
                            (and (= Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_m Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_c)
714
                                 (= Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_m Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_c)
715
                                 (= Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_m Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_c)
716
                                 )
717
                            )
718
                    )
719
                    (and (= Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_m Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_c)
720
                         (= Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_m Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_c)
721
                         (= Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_m Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_c)
722
                         )
723
                    (flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until_step 
724
                    Flowchart10_Flowchart10_node.idFlowchart10_Flowchart10_1
725
                    Flowchart10_Flowchart10_node.idFlowchart10_A_1
726
                    Flowchart10_Flowchart10_node.x
727
                    Flowchart10_Flowchart10_node.y_1
728
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_7
729
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_8
730
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_9
731
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_10
732
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_11
733
                    Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_m
734
                    Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_m
735
                    Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_m
736
                    Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_x
737
                    Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_x
738
                    Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_x)
739
                    (= Flowchart10_Flowchart10_node.y Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_11)
740
                    (= Flowchart10_Flowchart10_node.idFlowchart10_Flowchart10 Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_10)
741
                    (= Flowchart10_Flowchart10_node.idFlowchart10_A Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_9)
742
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__next_state_in Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_8)
743
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__next_restart_in Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_7)
744
                    ))
745
            (or (not (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_act POINTFlowchart10_Flowchart10))
746
               (and (flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until 
747
                    Flowchart10_Flowchart10_node.idFlowchart10_Flowchart10_1
748
                    Flowchart10_Flowchart10_node.idFlowchart10_A_1
749
                    Flowchart10_Flowchart10_node.y_1
750
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_17
751
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_18
752
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_19
753
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_20
754
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_21)
755
                    (= Flowchart10_Flowchart10_node.y Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_21)
756
                    (= Flowchart10_Flowchart10_node.idFlowchart10_Flowchart10 Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_20)
757
                    (= Flowchart10_Flowchart10_node.idFlowchart10_A Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_19)
758
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__next_state_in Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_18)
759
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__next_restart_in Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_17)
760
                    ))
761
            (or (not (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_act POINT__TO__FLOWCHART10_A_1))
762
               (and (flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until 
763
                    Flowchart10_Flowchart10_node.idFlowchart10_Flowchart10_1
764
                    Flowchart10_Flowchart10_node.idFlowchart10_A_1
765
                    Flowchart10_Flowchart10_node.x
766
                    Flowchart10_Flowchart10_node.y_1
767
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_12
768
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_13
769
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_14
770
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_15
771
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_16)
772
                    (= Flowchart10_Flowchart10_node.y Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_16)
773
                    (= Flowchart10_Flowchart10_node.idFlowchart10_Flowchart10 Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_15)
774
                    (= Flowchart10_Flowchart10_node.idFlowchart10_A Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_14)
775
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__next_state_in Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_13)
776
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__next_restart_in Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_12)
777
                    ))
778
       )
779
       (= Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_x Flowchart10_Flowchart10_node.flowchart10_flowchart10__next_state_in)
780
       (= Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_x Flowchart10_Flowchart10_node.flowchart10_flowchart10__next_restart_in)
781
       )
782
  (Flowchart10_Flowchart10_node_step Flowchart10_Flowchart10_node.idFlowchart10_Flowchart10_1
783
                                     Flowchart10_Flowchart10_node.idFlowchart10_A_1
784
                                     Flowchart10_Flowchart10_node.x
785
                                     Flowchart10_Flowchart10_node.y_1
786
                                     Flowchart10_Flowchart10_node.idFlowchart10_Flowchart10
787
                                     Flowchart10_Flowchart10_node.idFlowchart10_A
788
                                     Flowchart10_Flowchart10_node.y
789
                                     Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c
790
                                     Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c
791
                                     Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_c
792
                                     Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_c
793
                                     Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_c
794
                                     Flowchart10_Flowchart10_node.ni_6._arrow._first_c
795
                                     Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_x
796
                                     Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_x
797
                                     Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_x
798
                                     Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_x
799
                                     Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_x
800
                                     Flowchart10_Flowchart10_node.ni_6._arrow._first_x)
801
))
802

    
803
; Flowchart10_A__To__Flowchart10_Flowchart10Junction755_2_Condition_Action
804
(declare-var Flowchart10_A__To__Flowchart10_Flowchart10Junction755_2_Condition_Action.y_1 Int)
805
(declare-var Flowchart10_A__To__Flowchart10_Flowchart10Junction755_2_Condition_Action.y Int)
806
(declare-rel Flowchart10_A__To__Flowchart10_Flowchart10Junction755_2_Condition_Action (Int Int))
807
(rule (=> 
808
  (= Flowchart10_A__To__Flowchart10_Flowchart10Junction755_2_Condition_Action.y (+ Flowchart10_A__To__Flowchart10_Flowchart10Junction755_2_Condition_Action.y_1 2))
809
  (Flowchart10_A__To__Flowchart10_Flowchart10Junction755_2_Condition_Action Flowchart10_A__To__Flowchart10_Flowchart10Junction755_2_Condition_Action.y_1 Flowchart10_A__To__Flowchart10_Flowchart10Junction755_2_Condition_Action.y)
810
))
811

    
812
; Flowchart10_A__To__Flowchart10_Flowchart10Junction756_1_Condition_Action
813
(declare-var Flowchart10_A__To__Flowchart10_Flowchart10Junction756_1_Condition_Action.y_1 Int)
814
(declare-var Flowchart10_A__To__Flowchart10_Flowchart10Junction756_1_Condition_Action.y Int)
815
(declare-rel Flowchart10_A__To__Flowchart10_Flowchart10Junction756_1_Condition_Action (Int Int))
816
(rule (=> 
817
  (= Flowchart10_A__To__Flowchart10_Flowchart10Junction756_1_Condition_Action.y (- Flowchart10_A__To__Flowchart10_Flowchart10Junction756_1_Condition_Action.y_1 2))
818
  (Flowchart10_A__To__Flowchart10_Flowchart10Junction756_1_Condition_Action Flowchart10_A__To__Flowchart10_Flowchart10Junction756_1_Condition_Action.y_1 Flowchart10_A__To__Flowchart10_Flowchart10Junction756_1_Condition_Action.y)
819
))
820

    
821
; Flowchart10_Flowchart10
822
(declare-var Flowchart10_Flowchart10.x Int)
823
(declare-var Flowchart10_Flowchart10.y Int)
824
(declare-var Flowchart10_Flowchart10.__Flowchart10_Flowchart10_2_c Int)
825
(declare-var Flowchart10_Flowchart10.__Flowchart10_Flowchart10_3_c Int)
826
(declare-var Flowchart10_Flowchart10.__Flowchart10_Flowchart10_4_c Int)
827
(declare-var Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c Bool)
828
(declare-var Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c flowchart10_flowchart10__type)
829
(declare-var Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_c Bool)
830
(declare-var Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_c flowchart10_a__type)
831
(declare-var Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_c Bool)
832
(declare-var Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_6._arrow._first_c Bool)
833
(declare-var Flowchart10_Flowchart10.ni_4._arrow._first_c Bool)
834
(declare-var Flowchart10_Flowchart10.__Flowchart10_Flowchart10_2_m Int)
835
(declare-var Flowchart10_Flowchart10.__Flowchart10_Flowchart10_3_m Int)
836
(declare-var Flowchart10_Flowchart10.__Flowchart10_Flowchart10_4_m Int)
837
(declare-var Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_m Bool)
838
(declare-var Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_m flowchart10_flowchart10__type)
839
(declare-var Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_m Bool)
840
(declare-var Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_m flowchart10_a__type)
841
(declare-var Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_m Bool)
842
(declare-var Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_6._arrow._first_m Bool)
843
(declare-var Flowchart10_Flowchart10.ni_4._arrow._first_m Bool)
844
(declare-var Flowchart10_Flowchart10.__Flowchart10_Flowchart10_2_x Int)
845
(declare-var Flowchart10_Flowchart10.__Flowchart10_Flowchart10_3_x Int)
846
(declare-var Flowchart10_Flowchart10.__Flowchart10_Flowchart10_4_x Int)
847
(declare-var Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_x Bool)
848
(declare-var Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_x flowchart10_flowchart10__type)
849
(declare-var Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_x Bool)
850
(declare-var Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_x flowchart10_a__type)
851
(declare-var Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_x Bool)
852
(declare-var Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_6._arrow._first_x Bool)
853
(declare-var Flowchart10_Flowchart10.ni_4._arrow._first_x Bool)
854
(declare-var Flowchart10_Flowchart10.__Flowchart10_Flowchart10_1 Bool)
855
(declare-var Flowchart10_Flowchart10.idFlowchart10_A Int)
856
(declare-var Flowchart10_Flowchart10.idFlowchart10_A_1 Int)
857
(declare-var Flowchart10_Flowchart10.idFlowchart10_Flowchart10 Int)
858
(declare-var Flowchart10_Flowchart10.idFlowchart10_Flowchart10_1 Int)
859
(declare-var Flowchart10_Flowchart10.y_1 Int)
860
(declare-rel Flowchart10_Flowchart10_reset (Int Int Int Bool flowchart10_flowchart10__type Bool flowchart10_a__type Bool Bool Bool Int Int Int Bool flowchart10_flowchart10__type Bool flowchart10_a__type Bool Bool Bool))
861
(declare-rel Flowchart10_Flowchart10_step (Int Int Int Int Int Bool flowchart10_flowchart10__type Bool flowchart10_a__type Bool Bool Bool Int Int Int Bool flowchart10_flowchart10__type Bool flowchart10_a__type Bool Bool Bool))
862

    
863
(rule (=> 
864
  (and 
865
       (= Flowchart10_Flowchart10.__Flowchart10_Flowchart10_2_m Flowchart10_Flowchart10.__Flowchart10_Flowchart10_2_c)
866
       (= Flowchart10_Flowchart10.__Flowchart10_Flowchart10_3_m Flowchart10_Flowchart10.__Flowchart10_Flowchart10_3_c)
867
       (= Flowchart10_Flowchart10.__Flowchart10_Flowchart10_4_m Flowchart10_Flowchart10.__Flowchart10_Flowchart10_4_c)
868
       (= Flowchart10_Flowchart10.ni_4._arrow._first_m true)
869
       (Flowchart10_Flowchart10_node_reset Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c
870
                                           Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c
871
                                           Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_c
872
                                           Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_c
873
                                           Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_c
874
                                           Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_6._arrow._first_c
875
                                           Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_m
876
                                           Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_m
877
                                           Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_m
878
                                           Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_m
879
                                           Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_m
880
                                           Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_6._arrow._first_m)
881
  )
882
  (Flowchart10_Flowchart10_reset Flowchart10_Flowchart10.__Flowchart10_Flowchart10_2_c
883
                                 Flowchart10_Flowchart10.__Flowchart10_Flowchart10_3_c
884
                                 Flowchart10_Flowchart10.__Flowchart10_Flowchart10_4_c
885
                                 Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c
886
                                 Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c
887
                                 Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_c
888
                                 Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_c
889
                                 Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_c
890
                                 Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_6._arrow._first_c
891
                                 Flowchart10_Flowchart10.ni_4._arrow._first_c
892
                                 Flowchart10_Flowchart10.__Flowchart10_Flowchart10_2_m
893
                                 Flowchart10_Flowchart10.__Flowchart10_Flowchart10_3_m
894
                                 Flowchart10_Flowchart10.__Flowchart10_Flowchart10_4_m
895
                                 Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_m
896
                                 Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_m
897
                                 Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_m
898
                                 Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_m
899
                                 Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_m
900
                                 Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_6._arrow._first_m
901
                                 Flowchart10_Flowchart10.ni_4._arrow._first_m)
902
))
903

    
904
(rule (=> 
905
  (and (= Flowchart10_Flowchart10.ni_4._arrow._first_m Flowchart10_Flowchart10.ni_4._arrow._first_c)
906
       (and (= Flowchart10_Flowchart10.__Flowchart10_Flowchart10_1 (ite Flowchart10_Flowchart10.ni_4._arrow._first_m true false))
907
            (= Flowchart10_Flowchart10.ni_4._arrow._first_x false))
908
       (and (or (not (= Flowchart10_Flowchart10.__Flowchart10_Flowchart10_1 false))
909
               (and (= Flowchart10_Flowchart10.y_1 Flowchart10_Flowchart10.__Flowchart10_Flowchart10_4_c)
910
                    (= Flowchart10_Flowchart10.idFlowchart10_Flowchart10_1 Flowchart10_Flowchart10.__Flowchart10_Flowchart10_3_c)
911
                    (= Flowchart10_Flowchart10.idFlowchart10_A_1 Flowchart10_Flowchart10.__Flowchart10_Flowchart10_2_c)
912
                    ))
913
            (or (not (= Flowchart10_Flowchart10.__Flowchart10_Flowchart10_1 true))
914
               (and (= Flowchart10_Flowchart10.y_1 0)
915
                    (= Flowchart10_Flowchart10.idFlowchart10_Flowchart10_1 0)
916
                    (= Flowchart10_Flowchart10.idFlowchart10_A_1 0)
917
                    ))
918
       )
919
       (and (= Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_m Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c)
920
            (= Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_m Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c)
921
            (= Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_m Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_c)
922
            (= Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_m Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_c)
923
            (= Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_m Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_c)
924
            (= Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_6._arrow._first_m Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_6._arrow._first_c)
925
            )
926
       (Flowchart10_Flowchart10_node_step Flowchart10_Flowchart10.idFlowchart10_Flowchart10_1
927
                                          Flowchart10_Flowchart10.idFlowchart10_A_1
928
                                          Flowchart10_Flowchart10.x
929
                                          Flowchart10_Flowchart10.y_1
930
                                          Flowchart10_Flowchart10.idFlowchart10_Flowchart10
931
                                          Flowchart10_Flowchart10.idFlowchart10_A
932
                                          Flowchart10_Flowchart10.y
933
                                          Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_m
934
                                          Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_m
935
                                          Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_m
936
                                          Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_m
937
                                          Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_m
938
                                          Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_6._arrow._first_m
939
                                          Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_x
940
                                          Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_x
941
                                          Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_x
942
                                          Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_x
943
                                          Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_x
944
                                          Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_6._arrow._first_x)
945
       (= Flowchart10_Flowchart10.__Flowchart10_Flowchart10_4_x Flowchart10_Flowchart10.y)
946
       (= Flowchart10_Flowchart10.__Flowchart10_Flowchart10_3_x Flowchart10_Flowchart10.idFlowchart10_Flowchart10)
947
       (= Flowchart10_Flowchart10.__Flowchart10_Flowchart10_2_x Flowchart10_Flowchart10.idFlowchart10_A)
948
       )
949
  (Flowchart10_Flowchart10_step Flowchart10_Flowchart10.x
950
                                Flowchart10_Flowchart10.y
951
                                Flowchart10_Flowchart10.__Flowchart10_Flowchart10_2_c
952
                                Flowchart10_Flowchart10.__Flowchart10_Flowchart10_3_c
953
                                Flowchart10_Flowchart10.__Flowchart10_Flowchart10_4_c
954
                                Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c
955
                                Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c
956
                                Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_c
957
                                Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_c
958
                                Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_c
959
                                Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_6._arrow._first_c
960
                                Flowchart10_Flowchart10.ni_4._arrow._first_c
961
                                Flowchart10_Flowchart10.__Flowchart10_Flowchart10_2_x
962
                                Flowchart10_Flowchart10.__Flowchart10_Flowchart10_3_x
963
                                Flowchart10_Flowchart10.__Flowchart10_Flowchart10_4_x
964
                                Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_x
965
                                Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_x
966
                                Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_x
967
                                Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_x
968
                                Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_x
969
                                Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_6._arrow._first_x
970
                                Flowchart10_Flowchart10.ni_4._arrow._first_x)
971
))
972

    
973
; flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_handler_until
974
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_handler_until.y_1 Int)
975
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_handler_until.flowchart10_a_INNER__restart_in Bool)
976
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_handler_until.flowchart10_a_INNER__state_in flowchart10_a_INNER__type)
977
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_handler_until.y_out Int)
978
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_handler_until.y_2 Int)
979
(declare-rel flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_handler_until (Int Bool flowchart10_a_INNER__type Int))
980
(rule (=> 
981
  (and (Flowchart10_A__To__Flowchart10_Flowchart10Junction755_2_Condition_Action 
982
       flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_handler_until.y_1
983
       flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_handler_until.y_2)
984
       (= flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_handler_until.y_out flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_handler_until.y_2)
985
       (= flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_handler_until.flowchart10_a_INNER__state_in POINTFlowchart10_A_INNER)
986
       (= flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_handler_until.flowchart10_a_INNER__restart_in true)
987
       )
988
  (flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_handler_until flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_handler_until.y_1 flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_handler_until.flowchart10_a_INNER__restart_in flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_handler_until.flowchart10_a_INNER__state_in flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_handler_until.y_out)
989
))
990

    
991
; flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_unless
992
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_unless.flowchart10_a_INNER__restart_in Bool)
993
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_unless.flowchart10_a_INNER__state_in flowchart10_a_INNER__type)
994
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_unless.flowchart10_a_INNER__restart_act Bool)
995
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_unless.flowchart10_a_INNER__state_act flowchart10_a_INNER__type)
996
(declare-rel flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_unless (Bool flowchart10_a_INNER__type Bool flowchart10_a_INNER__type))
997
(rule (=> 
998
  (and (= flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_unless.flowchart10_a_INNER__state_act flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_unless.flowchart10_a_INNER__state_in)
999
       (= flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_unless.flowchart10_a_INNER__restart_act flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_unless.flowchart10_a_INNER__restart_in)
1000
       )
1001
  (flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_unless flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_unless.flowchart10_a_INNER__restart_in flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_unless.flowchart10_a_INNER__state_in flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_unless.flowchart10_a_INNER__restart_act flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_unless.flowchart10_a_INNER__state_act)
1002
))
1003

    
1004
; flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_handler_until
1005
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_handler_until.y_1 Int)
1006
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_handler_until.flowchart10_a_INNER__restart_in Bool)
1007
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_handler_until.flowchart10_a_INNER__state_in flowchart10_a_INNER__type)
1008
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_handler_until.y_out Int)
1009
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_handler_until.y_2 Int)
1010
(declare-rel flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_handler_until (Int Bool flowchart10_a_INNER__type Int))
1011
(rule (=> 
1012
  (and (Flowchart10_A__To__Flowchart10_Flowchart10Junction756_1_Condition_Action 
1013
       flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_handler_until.y_1
1014
       flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_handler_until.y_2)
1015
       (= flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_handler_until.y_out flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_handler_until.y_2)
1016
       (= flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_handler_until.flowchart10_a_INNER__state_in POINTFlowchart10_A_INNER)
1017
       (= flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_handler_until.flowchart10_a_INNER__restart_in true)
1018
       )
1019
  (flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_handler_until flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_handler_until.y_1 flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_handler_until.flowchart10_a_INNER__restart_in flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_handler_until.flowchart10_a_INNER__state_in flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_handler_until.y_out)
1020
))
1021

    
1022
; flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_unless
1023
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_unless.flowchart10_a_INNER__restart_in Bool)
1024
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_unless.flowchart10_a_INNER__state_in flowchart10_a_INNER__type)
1025
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_unless.flowchart10_a_INNER__restart_act Bool)
1026
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_unless.flowchart10_a_INNER__state_act flowchart10_a_INNER__type)
1027
(declare-rel flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_unless (Bool flowchart10_a_INNER__type Bool flowchart10_a_INNER__type))
1028
(rule (=> 
1029
  (and (= flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_unless.flowchart10_a_INNER__state_act flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_unless.flowchart10_a_INNER__state_in)
1030
       (= flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_unless.flowchart10_a_INNER__restart_act flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_unless.flowchart10_a_INNER__restart_in)
1031
       )
1032
  (flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_unless flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_unless.flowchart10_a_INNER__restart_in flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_unless.flowchart10_a_INNER__state_in flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_unless.flowchart10_a_INNER__restart_act flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_unless.flowchart10_a_INNER__state_act)
1033
))
1034

    
1035
; flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until
1036
(declare-var flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until.y_1 Int)
1037
(declare-var flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until.flowchart10_a_INNER__restart_in Bool)
1038
(declare-var flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until.flowchart10_a_INNER__state_in flowchart10_a_INNER__type)
1039
(declare-var flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until.y_out Int)
1040
(declare-rel flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until (Int Bool flowchart10_a_INNER__type Int))
1041
(rule (=> 
1042
  (and (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until.y_out flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until.y_1)
1043
       (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until.flowchart10_a_INNER__state_in POINTFlowchart10_A_INNER)
1044
       (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until.flowchart10_a_INNER__restart_in false)
1045
       )
1046
  (flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until.y_1 flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until.flowchart10_a_INNER__restart_in flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until.flowchart10_a_INNER__state_in flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until.y_out)
1047
))
1048

    
1049
; flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless
1050
(declare-var flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.flowchart10_a_INNER__restart_in Bool)
1051
(declare-var flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.flowchart10_a_INNER__state_in flowchart10_a_INNER__type)
1052
(declare-var flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.x Int)
1053
(declare-var flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.flowchart10_a_INNER__restart_act Bool)
1054
(declare-var flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.flowchart10_a_INNER__state_act flowchart10_a_INNER__type)
1055
(declare-var flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.__flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless_1 Bool)
1056
(declare-var flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.__flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless_2 Bool)
1057
(declare-rel flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless (Bool flowchart10_a_INNER__type Int Bool flowchart10_a_INNER__type))
1058
(rule (=> 
1059
  (and (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.__flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless_2 (and true (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.x 0)))
1060
       (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.__flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless_1 (and true (> flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.x 0)))
1061
       (and (or (not (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.__flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless_1 false))
1062
               (and (or (not (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.__flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless_2 false))
1063
                       (and (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.flowchart10_a_INNER__state_act flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.flowchart10_a_INNER__state_in)
1064
                            (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.flowchart10_a_INNER__restart_act flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.flowchart10_a_INNER__restart_in)
1065
                            ))
1066
                    (or (not (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.__flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless_2 true))
1067
                       (and (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.flowchart10_a_INNER__state_act FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2)
1068
                            (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.flowchart10_a_INNER__restart_act true)
1069
                            ))
1070
               ))
1071
            (or (not (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.__flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless_1 true))
1072
               (and (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.flowchart10_a_INNER__state_act FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1)
1073
                    (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.flowchart10_a_INNER__restart_act true)
1074
                    ))
1075
       )
1076
       )
1077
  (flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.flowchart10_a_INNER__restart_in flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.flowchart10_a_INNER__state_in flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.x flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.flowchart10_a_INNER__restart_act flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.flowchart10_a_INNER__state_act)
1078
))
1079

    
1080
; Flowchart10
1081
(declare-var Flowchart10.x_1_1 Int)
1082
(declare-var Flowchart10.y_1_1 Int)
1083
(declare-var Flowchart10.ni_1._arrow._first_c Bool)
1084
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_2_c Int)
1085
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_3_c Int)
1086
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_4_c Int)
1087
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c Bool)
1088
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c flowchart10_flowchart10__type)
1089
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_c Bool)
1090
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_c flowchart10_a__type)
1091
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_c Bool)
1092
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_6._arrow._first_c Bool)
1093
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.ni_4._arrow._first_c Bool)
1094
(declare-var Flowchart10.ni_1._arrow._first_m Bool)
1095
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_2_m Int)
1096
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_3_m Int)
1097
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_4_m Int)
1098
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_m Bool)
1099
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_m flowchart10_flowchart10__type)
1100
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_m Bool)
1101
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_m flowchart10_a__type)
1102
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_m Bool)
1103
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_6._arrow._first_m Bool)
1104
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.ni_4._arrow._first_m Bool)
1105
(declare-var Flowchart10.ni_1._arrow._first_x Bool)
1106
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_2_x Int)
1107
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_3_x Int)
1108
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_4_x Int)
1109
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_x Bool)
1110
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_x flowchart10_flowchart10__type)
1111
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_x Bool)
1112
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_x flowchart10_a__type)
1113
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_x Bool)
1114
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_6._arrow._first_x Bool)
1115
(declare-var Flowchart10.ni_2.Flowchart10_Flowchart10.ni_4._arrow._first_x Bool)
1116
(declare-var Flowchart10.Flowchart10_1_1 Int)
1117
(declare-var Flowchart10.__Flowchart10_1 Bool)
1118
(declare-var Flowchart10.i_virtual_local Real)
1119
(declare-rel Flowchart10_reset (Bool Int Int Int Bool flowchart10_flowchart10__type Bool flowchart10_a__type Bool Bool Bool Bool Int Int Int Bool flowchart10_flowchart10__type Bool flowchart10_a__type Bool Bool Bool))
1120
(declare-rel Flowchart10_step (Int Int Bool Int Int Int Bool flowchart10_flowchart10__type Bool flowchart10_a__type Bool Bool Bool Bool Int Int Int Bool flowchart10_flowchart10__type Bool flowchart10_a__type Bool Bool Bool))
1121

    
1122
(rule (=> 
1123
  (and 
1124
       
1125
       (Flowchart10_Flowchart10_reset Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_2_c
1126
                                      Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_3_c
1127
                                      Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_4_c
1128
                                      Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c
1129
                                      Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c
1130
                                      Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_c
1131
                                      Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_c
1132
                                      Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_c
1133
                                      Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_6._arrow._first_c
1134
                                      Flowchart10.ni_2.Flowchart10_Flowchart10.ni_4._arrow._first_c
1135
                                      Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_2_m
1136
                                      Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_3_m
1137
                                      Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_4_m
1138
                                      Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_m
1139
                                      Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_m
1140
                                      Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_m
1141
                                      Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_m
1142
                                      Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_m
1143
                                      Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_6._arrow._first_m
1144
                                      Flowchart10.ni_2.Flowchart10_Flowchart10.ni_4._arrow._first_m)
1145
       (= Flowchart10.ni_1._arrow._first_m true)
1146
  )
1147
  (Flowchart10_reset Flowchart10.ni_1._arrow._first_c
1148
                     Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_2_c
1149
                     Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_3_c
1150
                     Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_4_c
1151
                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c
1152
                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c
1153
                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_c
1154
                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_c
1155
                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_c
1156
                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_6._arrow._first_c
1157
                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_4._arrow._first_c
1158
                     Flowchart10.ni_1._arrow._first_m
1159
                     Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_2_m
1160
                     Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_3_m
1161
                     Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_4_m
1162
                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_m
1163
                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_m
1164
                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_m
1165
                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_m
1166
                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_m
1167
                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_6._arrow._first_m
1168
                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_4._arrow._first_m)
1169
))
1170

    
1171
(rule (=> 
1172
  (and (and (= Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_2_m Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_2_c)
1173
            (= Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_3_m Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_3_c)
1174
            (= Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_4_m Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_4_c)
1175
            (= Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_m Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c)
1176
            (= Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_m Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c)
1177
            (= Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_m Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_c)
1178
            (= Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_m Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_c)
1179
            (= Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_m Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_c)
1180
            (= Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_6._arrow._first_m Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_6._arrow._first_c)
1181
            (= Flowchart10.ni_2.Flowchart10_Flowchart10.ni_4._arrow._first_m Flowchart10.ni_2.Flowchart10_Flowchart10.ni_4._arrow._first_c)
1182
            )
1183
       (Flowchart10_Flowchart10_step Flowchart10.x_1_1
1184
                                     Flowchart10.Flowchart10_1_1
1185
                                     Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_2_m
1186
                                     Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_3_m
1187
                                     Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_4_m
1188
                                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_m
1189
                                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_m
1190
                                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_m
1191
                                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_m
1192
                                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_m
1193
                                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_6._arrow._first_m
1194
                                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_4._arrow._first_m
1195
                                     Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_2_x
1196
                                     Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_3_x
1197
                                     Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_4_x
1198
                                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_x
1199
                                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_x
1200
                                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_x
1201
                                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_x
1202
                                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_x
1203
                                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_6._arrow._first_x
1204
                                     Flowchart10.ni_2.Flowchart10_Flowchart10.ni_4._arrow._first_x)
1205
       (= Flowchart10.y_1_1 Flowchart10.Flowchart10_1_1)
1206
       (= Flowchart10.ni_1._arrow._first_m Flowchart10.ni_1._arrow._first_c)
1207
       (and (= Flowchart10.__Flowchart10_1 (ite Flowchart10.ni_1._arrow._first_m true false))
1208
            (= Flowchart10.ni_1._arrow._first_x false))
1209
       (and (or (not (= Flowchart10.__Flowchart10_1 true))
1210
               (= Flowchart10.i_virtual_local 0.))
1211
            (or (not (= Flowchart10.__Flowchart10_1 false))
1212
               (= Flowchart10.i_virtual_local 1.))
1213
       )
1214
       )
1215
  (Flowchart10_step Flowchart10.x_1_1
1216
                    Flowchart10.y_1_1
1217
                    Flowchart10.ni_1._arrow._first_c
1218
                    Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_2_c
1219
                    Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_3_c
1220
                    Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_4_c
1221
                    Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c
1222
                    Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c
1223
                    Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_c
1224
                    Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_c
1225
                    Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_c
1226
                    Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_6._arrow._first_c
1227
                    Flowchart10.ni_2.Flowchart10_Flowchart10.ni_4._arrow._first_c
1228
                    Flowchart10.ni_1._arrow._first_x
1229
                    Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_2_x
1230
                    Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_3_x
1231
                    Flowchart10.ni_2.Flowchart10_Flowchart10.__Flowchart10_Flowchart10_4_x
1232
                    Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_x
1233
                    Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_x
1234
                    Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_20_x
1235
                    Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.__Flowchart10_A_node_21_x
1236
                    Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_5.flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until.ni_7.Flowchart10_A_node.ni_8._arrow._first_x
1237
                    Flowchart10.ni_2.Flowchart10_Flowchart10.ni_3.Flowchart10_Flowchart10_node.ni_6._arrow._first_x
1238
                    Flowchart10.ni_2.Flowchart10_Flowchart10.ni_4._arrow._first_x)
1239
))
1240

    
1241
; Flowchart10_A_ex
1242
(declare-var Flowchart10_A_ex.idFlowchart10_Flowchart10_1 Int)
1243
(declare-var Flowchart10_A_ex.isInner Bool)
1244
(declare-var Flowchart10_A_ex.idFlowchart10_Flowchart10 Int)
1245
(declare-var Flowchart10_A_ex.idFlowchart10_Flowchart10_2 Int)
1246
(declare-rel Flowchart10_A_ex (Int Bool Int))
1247
(rule (=> 
1248
  (and (and (or (not (= (not Flowchart10_A_ex.isInner) true))
1249
               (= Flowchart10_A_ex.idFlowchart10_Flowchart10_2 0))
1250
            (or (not (= (not Flowchart10_A_ex.isInner) false))
1251
               (= Flowchart10_A_ex.idFlowchart10_Flowchart10_2 Flowchart10_A_ex.idFlowchart10_Flowchart10_1))
1252
       )
1253
       (= Flowchart10_A_ex.idFlowchart10_Flowchart10 Flowchart10_A_ex.idFlowchart10_Flowchart10_1)
1254
       )
1255
  (Flowchart10_A_ex Flowchart10_A_ex.idFlowchart10_Flowchart10_1 Flowchart10_A_ex.isInner Flowchart10_A_ex.idFlowchart10_Flowchart10)
1256
))
1257

    
1258
; Flowchart10_A_du
1259
(declare-var Flowchart10_A_du.x Int)
1260
(declare-var Flowchart10_A_du.y_1 Int)
1261
(declare-var Flowchart10_A_du.y Int)
1262
(declare-var Flowchart10_A_du.__Flowchart10_A_du_17_c Bool)
1263
(declare-var Flowchart10_A_du.__Flowchart10_A_du_18_c flowchart10_a_INNER__type)
1264
(declare-var Flowchart10_A_du.ni_0._arrow._first_c Bool)
1265
(declare-var Flowchart10_A_du.__Flowchart10_A_du_17_m Bool)
1266
(declare-var Flowchart10_A_du.__Flowchart10_A_du_18_m flowchart10_a_INNER__type)
1267
(declare-var Flowchart10_A_du.ni_0._arrow._first_m Bool)
1268
(declare-var Flowchart10_A_du.__Flowchart10_A_du_17_x Bool)
1269
(declare-var Flowchart10_A_du.__Flowchart10_A_du_18_x flowchart10_a_INNER__type)
1270
(declare-var Flowchart10_A_du.ni_0._arrow._first_x Bool)
1271
(declare-var Flowchart10_A_du.__Flowchart10_A_du_1 Bool)
1272
(declare-var Flowchart10_A_du.__Flowchart10_A_du_10 Bool)
1273
(declare-var Flowchart10_A_du.__Flowchart10_A_du_11 flowchart10_a_INNER__type)
1274
(declare-var Flowchart10_A_du.__Flowchart10_A_du_12 Int)
1275
(declare-var Flowchart10_A_du.__Flowchart10_A_du_13 Bool)
1276
(declare-var Flowchart10_A_du.__Flowchart10_A_du_14 flowchart10_a_INNER__type)
1277
(declare-var Flowchart10_A_du.__Flowchart10_A_du_15 Int)
1278
(declare-var Flowchart10_A_du.__Flowchart10_A_du_16 Bool)
1279
(declare-var Flowchart10_A_du.__Flowchart10_A_du_2 flowchart10_a_INNER__type)
1280
(declare-var Flowchart10_A_du.__Flowchart10_A_du_3 Bool)
1281
(declare-var Flowchart10_A_du.__Flowchart10_A_du_4 flowchart10_a_INNER__type)
1282
(declare-var Flowchart10_A_du.__Flowchart10_A_du_5 Bool)
1283
(declare-var Flowchart10_A_du.__Flowchart10_A_du_6 flowchart10_a_INNER__type)
1284
(declare-var Flowchart10_A_du.__Flowchart10_A_du_7 Bool)
1285
(declare-var Flowchart10_A_du.__Flowchart10_A_du_8 flowchart10_a_INNER__type)
1286
(declare-var Flowchart10_A_du.__Flowchart10_A_du_9 Int)
1287
(declare-var Flowchart10_A_du.flowchart10_a_INNER__next_restart_in Bool)
1288
(declare-var Flowchart10_A_du.flowchart10_a_INNER__next_state_in flowchart10_a_INNER__type)
1289
(declare-var Flowchart10_A_du.flowchart10_a_INNER__restart_act Bool)
1290
(declare-var Flowchart10_A_du.flowchart10_a_INNER__restart_in Bool)
1291
(declare-var Flowchart10_A_du.flowchart10_a_INNER__state_act flowchart10_a_INNER__type)
1292
(declare-var Flowchart10_A_du.flowchart10_a_INNER__state_in flowchart10_a_INNER__type)
1293
(declare-rel Flowchart10_A_du_reset (Bool flowchart10_a_INNER__type Bool Bool flowchart10_a_INNER__type Bool))
1294
(declare-rel Flowchart10_A_du_step (Int Int Int Bool flowchart10_a_INNER__type Bool Bool flowchart10_a_INNER__type Bool))
1295

    
1296
(rule (=> 
1297
  (and 
1298
       (= Flowchart10_A_du.__Flowchart10_A_du_17_m Flowchart10_A_du.__Flowchart10_A_du_17_c)
1299
       (= Flowchart10_A_du.__Flowchart10_A_du_18_m Flowchart10_A_du.__Flowchart10_A_du_18_c)
1300
       (= Flowchart10_A_du.ni_0._arrow._first_m true)
1301
  )
1302
  (Flowchart10_A_du_reset Flowchart10_A_du.__Flowchart10_A_du_17_c
1303
                          Flowchart10_A_du.__Flowchart10_A_du_18_c
1304
                          Flowchart10_A_du.ni_0._arrow._first_c
1305
                          Flowchart10_A_du.__Flowchart10_A_du_17_m
1306
                          Flowchart10_A_du.__Flowchart10_A_du_18_m
1307
                          Flowchart10_A_du.ni_0._arrow._first_m)
1308
))
1309

    
1310
(rule (=> 
1311
  (and (= Flowchart10_A_du.ni_0._arrow._first_m Flowchart10_A_du.ni_0._arrow._first_c)
1312
       (and (= Flowchart10_A_du.__Flowchart10_A_du_16 (ite Flowchart10_A_du.ni_0._arrow._first_m true false))
1313
            (= Flowchart10_A_du.ni_0._arrow._first_x false))
1314
       (and (or (not (= Flowchart10_A_du.__Flowchart10_A_du_16 false))
1315
               (and (= Flowchart10_A_du.flowchart10_a_INNER__state_in Flowchart10_A_du.__Flowchart10_A_du_18_c)
1316
                    (= Flowchart10_A_du.flowchart10_a_INNER__restart_in Flowchart10_A_du.__Flowchart10_A_du_17_c)
1317
                    ))
1318
            (or (not (= Flowchart10_A_du.__Flowchart10_A_du_16 true))
1319
               (and (= Flowchart10_A_du.flowchart10_a_INNER__state_in POINTFlowchart10_A_INNER)
1320
                    (= Flowchart10_A_du.flowchart10_a_INNER__restart_in false)
1321
                    ))
1322
       )
1323
       (and (or (not (= Flowchart10_A_du.flowchart10_a_INNER__state_in FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2))
1324
               (and (flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_unless 
1325
                    Flowchart10_A_du.flowchart10_a_INNER__restart_in
1326
                    Flowchart10_A_du.flowchart10_a_INNER__state_in
1327
                    Flowchart10_A_du.__Flowchart10_A_du_1
1328
                    Flowchart10_A_du.__Flowchart10_A_du_2)
1329
                    (= Flowchart10_A_du.flowchart10_a_INNER__state_act Flowchart10_A_du.__Flowchart10_A_du_2)
1330
                    (= Flowchart10_A_du.flowchart10_a_INNER__restart_act Flowchart10_A_du.__Flowchart10_A_du_1)
1331
                    ))
1332
            (or (not (= Flowchart10_A_du.flowchart10_a_INNER__state_in FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1))
1333
               (and (flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_unless 
1334
                    Flowchart10_A_du.flowchart10_a_INNER__restart_in
1335
                    Flowchart10_A_du.flowchart10_a_INNER__state_in
1336
                    Flowchart10_A_du.__Flowchart10_A_du_3
1337
                    Flowchart10_A_du.__Flowchart10_A_du_4)
1338
                    (= Flowchart10_A_du.flowchart10_a_INNER__state_act Flowchart10_A_du.__Flowchart10_A_du_4)
1339
                    (= Flowchart10_A_du.flowchart10_a_INNER__restart_act Flowchart10_A_du.__Flowchart10_A_du_3)
1340
                    ))
1341
            (or (not (= Flowchart10_A_du.flowchart10_a_INNER__state_in POINTFlowchart10_A_INNER))
1342
               (and (flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless 
1343
                    Flowchart10_A_du.flowchart10_a_INNER__restart_in
1344
                    Flowchart10_A_du.flowchart10_a_INNER__state_in
1345
                    Flowchart10_A_du.x
1346
                    Flowchart10_A_du.__Flowchart10_A_du_5
1347
                    Flowchart10_A_du.__Flowchart10_A_du_6)
1348
                    (= Flowchart10_A_du.flowchart10_a_INNER__state_act Flowchart10_A_du.__Flowchart10_A_du_6)
1349
                    (= Flowchart10_A_du.flowchart10_a_INNER__restart_act Flowchart10_A_du.__Flowchart10_A_du_5)
1350
                    ))
1351
       )
1352
       (and (or (not (= Flowchart10_A_du.flowchart10_a_INNER__state_act FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2))
1353
               (and (flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_handler_until 
1354
                    Flowchart10_A_du.y_1
1355
                    Flowchart10_A_du.__Flowchart10_A_du_7
1356
                    Flowchart10_A_du.__Flowchart10_A_du_8
1357
                    Flowchart10_A_du.__Flowchart10_A_du_9)
1358
                    (= Flowchart10_A_du.y Flowchart10_A_du.__Flowchart10_A_du_9)
1359
                    (= Flowchart10_A_du.flowchart10_a_INNER__next_state_in Flowchart10_A_du.__Flowchart10_A_du_8)
1360
                    (= Flowchart10_A_du.flowchart10_a_INNER__next_restart_in Flowchart10_A_du.__Flowchart10_A_du_7)
1361
                    ))
1362
            (or (not (= Flowchart10_A_du.flowchart10_a_INNER__state_act FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1))
1363
               (and (flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_handler_until 
1364
                    Flowchart10_A_du.y_1
1365
                    Flowchart10_A_du.__Flowchart10_A_du_10
1366
                    Flowchart10_A_du.__Flowchart10_A_du_11
1367
                    Flowchart10_A_du.__Flowchart10_A_du_12)
1368
                    (= Flowchart10_A_du.y Flowchart10_A_du.__Flowchart10_A_du_12)
1369
                    (= Flowchart10_A_du.flowchart10_a_INNER__next_state_in Flowchart10_A_du.__Flowchart10_A_du_11)
1370
                    (= Flowchart10_A_du.flowchart10_a_INNER__next_restart_in Flowchart10_A_du.__Flowchart10_A_du_10)
1371
                    ))
1372
            (or (not (= Flowchart10_A_du.flowchart10_a_INNER__state_act POINTFlowchart10_A_INNER))
1373
               (and (flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until 
1374
                    Flowchart10_A_du.y_1
1375
                    Flowchart10_A_du.__Flowchart10_A_du_13
1376
                    Flowchart10_A_du.__Flowchart10_A_du_14
1377
                    Flowchart10_A_du.__Flowchart10_A_du_15)
1378
                    (= Flowchart10_A_du.y Flowchart10_A_du.__Flowchart10_A_du_15)
1379
                    (= Flowchart10_A_du.flowchart10_a_INNER__next_state_in Flowchart10_A_du.__Flowchart10_A_du_14)
1380
                    (= Flowchart10_A_du.flowchart10_a_INNER__next_restart_in Flowchart10_A_du.__Flowchart10_A_du_13)
1381
                    ))
1382
       )
1383
       (= Flowchart10_A_du.__Flowchart10_A_du_18_x Flowchart10_A_du.flowchart10_a_INNER__next_state_in)
1384
       (= Flowchart10_A_du.__Flowchart10_A_du_17_x Flowchart10_A_du.flowchart10_a_INNER__next_restart_in)
1385
       )
1386
  (Flowchart10_A_du_step Flowchart10_A_du.x
1387
                         Flowchart10_A_du.y_1
1388
                         Flowchart10_A_du.y
1389
                         Flowchart10_A_du.__Flowchart10_A_du_17_c
1390
                         Flowchart10_A_du.__Flowchart10_A_du_18_c
1391
                         Flowchart10_A_du.ni_0._arrow._first_c
1392
                         Flowchart10_A_du.__Flowchart10_A_du_17_x
1393
                         Flowchart10_A_du.__Flowchart10_A_du_18_x
1394
                         Flowchart10_A_du.ni_0._arrow._first_x)
1395
))
1396