Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Flowchart11 / Flowchart11.smt2 @ eb639349

History | View | Annotate | Download (167 KB)

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

    
3
(declare-datatypes () ((flowchart10_a_INNER__type POINTFlowchart10_A_INNER FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1 FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2)));
4

    
5
(declare-datatypes () ((flowchart10_a__type POINTFlowchart10_A POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1 POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2)));
6

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

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

    
25
; POINT__To__Flowchart10_Flowchart10Junction768_1_Condition_Action
26
(declare-var POINT__To__Flowchart10_Flowchart10Junction768_1_Condition_Action.y_1 Int)
27
(declare-var POINT__To__Flowchart10_Flowchart10Junction768_1_Condition_Action.y Int)
28
(declare-rel POINT__To__Flowchart10_Flowchart10Junction768_1_Condition_Action (Int Int))
29
(rule (=> 
30
  (= POINT__To__Flowchart10_Flowchart10Junction768_1_Condition_Action.y (+ POINT__To__Flowchart10_Flowchart10Junction768_1_Condition_Action.y_1 1))
31
  (POINT__To__Flowchart10_Flowchart10Junction768_1_Condition_Action POINT__To__Flowchart10_Flowchart10Junction768_1_Condition_Action.y_1 POINT__To__Flowchart10_Flowchart10Junction768_1_Condition_Action.y)
32
))
33

    
34
; POINT__To__Flowchart10_Flowchart10Junction769_2_Condition_Action
35
(declare-var POINT__To__Flowchart10_Flowchart10Junction769_2_Condition_Action.y_1 Int)
36
(declare-var POINT__To__Flowchart10_Flowchart10Junction769_2_Condition_Action.y Int)
37
(declare-rel POINT__To__Flowchart10_Flowchart10Junction769_2_Condition_Action (Int Int))
38
(rule (=> 
39
  (= POINT__To__Flowchart10_Flowchart10Junction769_2_Condition_Action.y (- POINT__To__Flowchart10_Flowchart10Junction769_2_Condition_Action.y_1 1))
40
  (POINT__To__Flowchart10_Flowchart10Junction769_2_Condition_Action POINT__To__Flowchart10_Flowchart10Junction769_2_Condition_Action.y_1 POINT__To__Flowchart10_Flowchart10Junction769_2_Condition_Action.y)
41
))
42

    
43
; flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_handler_until
44
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_handler_until.y_1 Int)
45
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_handler_until.flowchart10_a_INNER__restart_in Bool)
46
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_handler_until.flowchart10_a_INNER__state_in flowchart10_a_INNER__type)
47
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_handler_until.y_out Int)
48
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_handler_until.y_2 Int)
49
(declare-rel flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_handler_until (Int Bool flowchart10_a_INNER__type Int))
50
(rule (=> 
51
  (and (Flowchart10_A__To__Flowchart10_Flowchart10Junction770_2_Condition_Action 
52
       flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_handler_until.y_1
53
       flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_handler_until.y_2)
54
       (= flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_handler_until.y_out flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_handler_until.y_2)
55
       (= flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_handler_until.flowchart10_a_INNER__state_in POINTFlowchart10_A_INNER)
56
       (= flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_handler_until.flowchart10_a_INNER__restart_in true)
57
       )
58
  (flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_handler_until flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_handler_until.y_1 flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_handler_until.flowchart10_a_INNER__restart_in flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_handler_until.flowchart10_a_INNER__state_in flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_handler_until.y_out)
59
))
60

    
61
; flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_unless
62
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_unless.flowchart10_a_INNER__restart_in Bool)
63
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_unless.flowchart10_a_INNER__state_in flowchart10_a_INNER__type)
64
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_unless.flowchart10_a_INNER__restart_act Bool)
65
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_unless.flowchart10_a_INNER__state_act flowchart10_a_INNER__type)
66
(declare-rel flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_unless (Bool flowchart10_a_INNER__type Bool flowchart10_a_INNER__type))
67
(rule (=> 
68
  (and (= flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_unless.flowchart10_a_INNER__state_act flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_unless.flowchart10_a_INNER__state_in)
69
       (= flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_unless.flowchart10_a_INNER__restart_act flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_unless.flowchart10_a_INNER__restart_in)
70
       )
71
  (flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_unless flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_unless.flowchart10_a_INNER__restart_in flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_unless.flowchart10_a_INNER__state_in flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_unless.flowchart10_a_INNER__restart_act flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_unless.flowchart10_a_INNER__state_act)
72
))
73

    
74
; flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_handler_until
75
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_handler_until.y_1 Int)
76
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_handler_until.flowchart10_a_INNER__restart_in Bool)
77
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_handler_until.flowchart10_a_INNER__state_in flowchart10_a_INNER__type)
78
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_handler_until.y_out Int)
79
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_handler_until.y_2 Int)
80
(declare-rel flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_handler_until (Int Bool flowchart10_a_INNER__type Int))
81
(rule (=> 
82
  (and (Flowchart10_A__To__Flowchart10_Flowchart10Junction771_1_Condition_Action 
83
       flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_handler_until.y_1
84
       flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_handler_until.y_2)
85
       (= flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_handler_until.y_out flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_handler_until.y_2)
86
       (= flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_handler_until.flowchart10_a_INNER__state_in POINTFlowchart10_A_INNER)
87
       (= flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_handler_until.flowchart10_a_INNER__restart_in true)
88
       )
89
  (flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_handler_until flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_handler_until.y_1 flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_handler_until.flowchart10_a_INNER__restart_in flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_handler_until.flowchart10_a_INNER__state_in flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_handler_until.y_out)
90
))
91

    
92
; flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_unless
93
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_unless.flowchart10_a_INNER__restart_in Bool)
94
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_unless.flowchart10_a_INNER__state_in flowchart10_a_INNER__type)
95
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_unless.flowchart10_a_INNER__restart_act Bool)
96
(declare-var flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_unless.flowchart10_a_INNER__state_act flowchart10_a_INNER__type)
97
(declare-rel flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_unless (Bool flowchart10_a_INNER__type Bool flowchart10_a_INNER__type))
98
(rule (=> 
99
  (and (= flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_unless.flowchart10_a_INNER__state_act flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_unless.flowchart10_a_INNER__state_in)
100
       (= flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_unless.flowchart10_a_INNER__restart_act flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_unless.flowchart10_a_INNER__restart_in)
101
       )
102
  (flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_unless flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_unless.flowchart10_a_INNER__restart_in flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_unless.flowchart10_a_INNER__state_in flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_unless.flowchart10_a_INNER__restart_act flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_unless.flowchart10_a_INNER__state_act)
103
))
104

    
105
; flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until
106
(declare-var flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until.y_1 Int)
107
(declare-var flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until.flowchart10_a_INNER__restart_in Bool)
108
(declare-var flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until.flowchart10_a_INNER__state_in flowchart10_a_INNER__type)
109
(declare-var flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until.y_out Int)
110
(declare-rel flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until (Int Bool flowchart10_a_INNER__type Int))
111
(rule (=> 
112
  (and (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until.y_out flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until.y_1)
113
       (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until.flowchart10_a_INNER__state_in POINTFlowchart10_A_INNER)
114
       (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until.flowchart10_a_INNER__restart_in false)
115
       )
116
  (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)
117
))
118

    
119
; flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless
120
(declare-var flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.flowchart10_a_INNER__restart_in Bool)
121
(declare-var flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.flowchart10_a_INNER__state_in flowchart10_a_INNER__type)
122
(declare-var flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.x Int)
123
(declare-var flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.flowchart10_a_INNER__restart_act Bool)
124
(declare-var flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.flowchart10_a_INNER__state_act flowchart10_a_INNER__type)
125
(declare-var flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.__flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless_1 Bool)
126
(declare-var flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.__flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless_2 Bool)
127
(declare-rel flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless (Bool flowchart10_a_INNER__type Int Bool flowchart10_a_INNER__type))
128
(rule (=> 
129
  (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)))
130
       (= 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)))
131
       (and (or (not (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.__flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless_1 false))
132
               (and (or (not (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.__flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless_2 false))
133
                       (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)
134
                            (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.flowchart10_a_INNER__restart_act flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.flowchart10_a_INNER__restart_in)
135
                            ))
136
                    (or (not (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.__flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless_2 true))
137
                       (and (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.flowchart10_a_INNER__state_act FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2)
138
                            (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.flowchart10_a_INNER__restart_act true)
139
                            ))
140
               ))
141
            (or (not (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.__flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless_1 true))
142
               (and (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.flowchart10_a_INNER__state_act FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1)
143
                    (= flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless.flowchart10_a_INNER__restart_act true)
144
                    ))
145
       )
146
       )
147
  (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)
148
))
149

    
150
; flowchart10_a__POINTFlowchart10_A_handler_until
151
(declare-var flowchart10_a__POINTFlowchart10_A_handler_until.idFlowchart10_A_1 Int)
152
(declare-var flowchart10_a__POINTFlowchart10_A_handler_until.y_1 Int)
153
(declare-var flowchart10_a__POINTFlowchart10_A_handler_until.flowchart10_a__restart_in Bool)
154
(declare-var flowchart10_a__POINTFlowchart10_A_handler_until.flowchart10_a__state_in flowchart10_a__type)
155
(declare-var flowchart10_a__POINTFlowchart10_A_handler_until.idFlowchart10_A_out Int)
156
(declare-var flowchart10_a__POINTFlowchart10_A_handler_until.y_out Int)
157
(declare-rel flowchart10_a__POINTFlowchart10_A_handler_until (Int Int Bool flowchart10_a__type Int Int))
158
(rule (=> 
159
  (and (= flowchart10_a__POINTFlowchart10_A_handler_until.y_out flowchart10_a__POINTFlowchart10_A_handler_until.y_1)
160
       (= flowchart10_a__POINTFlowchart10_A_handler_until.idFlowchart10_A_out flowchart10_a__POINTFlowchart10_A_handler_until.idFlowchart10_A_1)
161
       (= flowchart10_a__POINTFlowchart10_A_handler_until.flowchart10_a__state_in POINTFlowchart10_A)
162
       (= flowchart10_a__POINTFlowchart10_A_handler_until.flowchart10_a__restart_in false)
163
       )
164
  (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)
165
))
166

    
167
; flowchart10_a__POINTFlowchart10_A_unless
168
(declare-var flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__restart_in Bool)
169
(declare-var flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__state_in flowchart10_a__type)
170
(declare-var flowchart10_a__POINTFlowchart10_A_unless.idFlowchart10_A_1 Int)
171
(declare-var flowchart10_a__POINTFlowchart10_A_unless.x Int)
172
(declare-var flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__restart_act Bool)
173
(declare-var flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__state_act flowchart10_a__type)
174
(declare-var flowchart10_a__POINTFlowchart10_A_unless.__flowchart10_a__POINTFlowchart10_A_unless_1 Bool)
175
(declare-var flowchart10_a__POINTFlowchart10_A_unless.__flowchart10_a__POINTFlowchart10_A_unless_2 Bool)
176
(declare-rel flowchart10_a__POINTFlowchart10_A_unless (Bool flowchart10_a__type Int Int Bool flowchart10_a__type))
177
(rule (=> 
178
  (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)))
179
       (= 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)))
180
       (and (or (not (= flowchart10_a__POINTFlowchart10_A_unless.__flowchart10_a__POINTFlowchart10_A_unless_1 false))
181
               (and (or (not (= flowchart10_a__POINTFlowchart10_A_unless.__flowchart10_a__POINTFlowchart10_A_unless_2 false))
182
                       (and (= flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__state_act flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__state_in)
183
                            (= flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__restart_act flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__restart_in)
184
                            ))
185
                    (or (not (= flowchart10_a__POINTFlowchart10_A_unless.__flowchart10_a__POINTFlowchart10_A_unless_2 true))
186
                       (and (= flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__state_act POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2)
187
                            (= flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__restart_act true)
188
                            ))
189
               ))
190
            (or (not (= flowchart10_a__POINTFlowchart10_A_unless.__flowchart10_a__POINTFlowchart10_A_unless_1 true))
191
               (and (= flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__state_act POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1)
192
                    (= flowchart10_a__POINTFlowchart10_A_unless.flowchart10_a__restart_act true)
193
                    ))
194
       )
195
       )
196
  (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)
197
))
198

    
199
; flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_handler_until
200
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_handler_until.idFlowchart10_A_1 Int)
201
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_handler_until.y_1 Int)
202
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_handler_until.flowchart10_a__restart_in Bool)
203
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_handler_until.flowchart10_a__state_in flowchart10_a__type)
204
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_handler_until.idFlowchart10_A_out Int)
205
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_handler_until.y_out Int)
206
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_handler_until.y_2 Int)
207
(declare-rel flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_handler_until (Int Int Bool flowchart10_a__type Int Int))
208
(rule (=> 
209
  (and (POINT__To__Flowchart10_Flowchart10Junction768_1_Condition_Action 
210
       flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_handler_until.y_1
211
       flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_handler_until.y_2)
212
       (= flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_handler_until.y_out flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_handler_until.y_2)
213
       (= flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_handler_until.idFlowchart10_A_out flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_handler_until.idFlowchart10_A_1)
214
       (= flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_handler_until.flowchart10_a__state_in POINTFlowchart10_A)
215
       (= flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_handler_until.flowchart10_a__restart_in true)
216
       )
217
  (flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_handler_until flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_handler_until.idFlowchart10_A_1 flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_handler_until.y_1 flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_handler_until.flowchart10_a__restart_in flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_handler_until.flowchart10_a__state_in flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_handler_until.idFlowchart10_A_out flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_handler_until.y_out)
218
))
219

    
220
; flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_unless
221
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_unless.flowchart10_a__restart_in Bool)
222
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_unless.flowchart10_a__state_in flowchart10_a__type)
223
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_unless.flowchart10_a__restart_act Bool)
224
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_unless.flowchart10_a__state_act flowchart10_a__type)
225
(declare-rel flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_unless (Bool flowchart10_a__type Bool flowchart10_a__type))
226
(rule (=> 
227
  (and (= flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_unless.flowchart10_a__state_act flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_unless.flowchart10_a__state_in)
228
       (= flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_unless.flowchart10_a__restart_act flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_unless.flowchart10_a__restart_in)
229
       )
230
  (flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_unless flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_unless.flowchart10_a__restart_in flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_unless.flowchart10_a__state_in flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_unless.flowchart10_a__restart_act flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_unless.flowchart10_a__state_act)
231
))
232

    
233
; flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_handler_until
234
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_handler_until.idFlowchart10_A_1 Int)
235
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_handler_until.y_1 Int)
236
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_handler_until.flowchart10_a__restart_in Bool)
237
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_handler_until.flowchart10_a__state_in flowchart10_a__type)
238
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_handler_until.idFlowchart10_A_out Int)
239
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_handler_until.y_out Int)
240
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_handler_until.y_2 Int)
241
(declare-rel flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_handler_until (Int Int Bool flowchart10_a__type Int Int))
242
(rule (=> 
243
  (and (POINT__To__Flowchart10_Flowchart10Junction769_2_Condition_Action 
244
       flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_handler_until.y_1
245
       flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_handler_until.y_2)
246
       (= flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_handler_until.y_out flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_handler_until.y_2)
247
       (= flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_handler_until.idFlowchart10_A_out flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_handler_until.idFlowchart10_A_1)
248
       (= flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_handler_until.flowchart10_a__state_in POINTFlowchart10_A)
249
       (= flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_handler_until.flowchart10_a__restart_in true)
250
       )
251
  (flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_handler_until flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_handler_until.idFlowchart10_A_1 flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_handler_until.y_1 flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_handler_until.flowchart10_a__restart_in flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_handler_until.flowchart10_a__state_in flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_handler_until.idFlowchart10_A_out flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_handler_until.y_out)
252
))
253

    
254
; flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_unless
255
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_unless.flowchart10_a__restart_in Bool)
256
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_unless.flowchart10_a__state_in flowchart10_a__type)
257
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_unless.flowchart10_a__restart_act Bool)
258
(declare-var flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_unless.flowchart10_a__state_act flowchart10_a__type)
259
(declare-rel flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_unless (Bool flowchart10_a__type Bool flowchart10_a__type))
260
(rule (=> 
261
  (and (= flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_unless.flowchart10_a__state_act flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_unless.flowchart10_a__state_in)
262
       (= flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_unless.flowchart10_a__restart_act flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_unless.flowchart10_a__restart_in)
263
       )
264
  (flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_unless flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_unless.flowchart10_a__restart_in flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_unless.flowchart10_a__state_in flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_unless.flowchart10_a__restart_act flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_unless.flowchart10_a__state_act)
265
))
266

    
267
; Flowchart10_A_du
268
(declare-var Flowchart10_A_du.x Int)
269
(declare-var Flowchart10_A_du.y_1 Int)
270
(declare-var Flowchart10_A_du.y Int)
271
(declare-var Flowchart10_A_du.__Flowchart10_A_du_17_c Bool)
272
(declare-var Flowchart10_A_du.__Flowchart10_A_du_18_c flowchart10_a_INNER__type)
273
(declare-var Flowchart10_A_du.ni_9._arrow._first_c Bool)
274
(declare-var Flowchart10_A_du.__Flowchart10_A_du_17_m Bool)
275
(declare-var Flowchart10_A_du.__Flowchart10_A_du_18_m flowchart10_a_INNER__type)
276
(declare-var Flowchart10_A_du.ni_9._arrow._first_m Bool)
277
(declare-var Flowchart10_A_du.__Flowchart10_A_du_17_x Bool)
278
(declare-var Flowchart10_A_du.__Flowchart10_A_du_18_x flowchart10_a_INNER__type)
279
(declare-var Flowchart10_A_du.ni_9._arrow._first_x Bool)
280
(declare-var Flowchart10_A_du.__Flowchart10_A_du_1 Bool)
281
(declare-var Flowchart10_A_du.__Flowchart10_A_du_10 Bool)
282
(declare-var Flowchart10_A_du.__Flowchart10_A_du_11 flowchart10_a_INNER__type)
283
(declare-var Flowchart10_A_du.__Flowchart10_A_du_12 Int)
284
(declare-var Flowchart10_A_du.__Flowchart10_A_du_13 Bool)
285
(declare-var Flowchart10_A_du.__Flowchart10_A_du_14 flowchart10_a_INNER__type)
286
(declare-var Flowchart10_A_du.__Flowchart10_A_du_15 Int)
287
(declare-var Flowchart10_A_du.__Flowchart10_A_du_16 Bool)
288
(declare-var Flowchart10_A_du.__Flowchart10_A_du_2 flowchart10_a_INNER__type)
289
(declare-var Flowchart10_A_du.__Flowchart10_A_du_3 Bool)
290
(declare-var Flowchart10_A_du.__Flowchart10_A_du_4 flowchart10_a_INNER__type)
291
(declare-var Flowchart10_A_du.__Flowchart10_A_du_5 Bool)
292
(declare-var Flowchart10_A_du.__Flowchart10_A_du_6 flowchart10_a_INNER__type)
293
(declare-var Flowchart10_A_du.__Flowchart10_A_du_7 Bool)
294
(declare-var Flowchart10_A_du.__Flowchart10_A_du_8 flowchart10_a_INNER__type)
295
(declare-var Flowchart10_A_du.__Flowchart10_A_du_9 Int)
296
(declare-var Flowchart10_A_du.flowchart10_a_INNER__next_restart_in Bool)
297
(declare-var Flowchart10_A_du.flowchart10_a_INNER__next_state_in flowchart10_a_INNER__type)
298
(declare-var Flowchart10_A_du.flowchart10_a_INNER__restart_act Bool)
299
(declare-var Flowchart10_A_du.flowchart10_a_INNER__restart_in Bool)
300
(declare-var Flowchart10_A_du.flowchart10_a_INNER__state_act flowchart10_a_INNER__type)
301
(declare-var Flowchart10_A_du.flowchart10_a_INNER__state_in flowchart10_a_INNER__type)
302
(declare-rel Flowchart10_A_du_reset (Bool flowchart10_a_INNER__type Bool Bool flowchart10_a_INNER__type Bool))
303
(declare-rel Flowchart10_A_du_step (Int Int Int Bool flowchart10_a_INNER__type Bool Bool flowchart10_a_INNER__type Bool))
304

    
305
(rule (=> 
306
  (and 
307
       (= Flowchart10_A_du.__Flowchart10_A_du_17_m Flowchart10_A_du.__Flowchart10_A_du_17_c)
308
       (= Flowchart10_A_du.__Flowchart10_A_du_18_m Flowchart10_A_du.__Flowchart10_A_du_18_c)
309
       (= Flowchart10_A_du.ni_9._arrow._first_m true)
310
  )
311
  (Flowchart10_A_du_reset Flowchart10_A_du.__Flowchart10_A_du_17_c
312
                          Flowchart10_A_du.__Flowchart10_A_du_18_c
313
                          Flowchart10_A_du.ni_9._arrow._first_c
314
                          Flowchart10_A_du.__Flowchart10_A_du_17_m
315
                          Flowchart10_A_du.__Flowchart10_A_du_18_m
316
                          Flowchart10_A_du.ni_9._arrow._first_m)
317
))
318

    
319
(rule (=> 
320
  (and (= Flowchart10_A_du.ni_9._arrow._first_m Flowchart10_A_du.ni_9._arrow._first_c)
321
       (and (= Flowchart10_A_du.__Flowchart10_A_du_16 (ite Flowchart10_A_du.ni_9._arrow._first_m true false))
322
            (= Flowchart10_A_du.ni_9._arrow._first_x false))
323
       (and (or (not (= Flowchart10_A_du.__Flowchart10_A_du_16 false))
324
               (and (= Flowchart10_A_du.flowchart10_a_INNER__state_in Flowchart10_A_du.__Flowchart10_A_du_18_c)
325
                    (= Flowchart10_A_du.flowchart10_a_INNER__restart_in Flowchart10_A_du.__Flowchart10_A_du_17_c)
326
                    ))
327
            (or (not (= Flowchart10_A_du.__Flowchart10_A_du_16 true))
328
               (and (= Flowchart10_A_du.flowchart10_a_INNER__state_in POINTFlowchart10_A_INNER)
329
                    (= Flowchart10_A_du.flowchart10_a_INNER__restart_in false)
330
                    ))
331
       )
332
       (and (or (not (= Flowchart10_A_du.flowchart10_a_INNER__state_in FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2))
333
               (and (flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_unless 
334
                    Flowchart10_A_du.flowchart10_a_INNER__restart_in
335
                    Flowchart10_A_du.flowchart10_a_INNER__state_in
336
                    Flowchart10_A_du.__Flowchart10_A_du_1
337
                    Flowchart10_A_du.__Flowchart10_A_du_2)
338
                    (= Flowchart10_A_du.flowchart10_a_INNER__state_act Flowchart10_A_du.__Flowchart10_A_du_2)
339
                    (= Flowchart10_A_du.flowchart10_a_INNER__restart_act Flowchart10_A_du.__Flowchart10_A_du_1)
340
                    ))
341
            (or (not (= Flowchart10_A_du.flowchart10_a_INNER__state_in FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1))
342
               (and (flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_unless 
343
                    Flowchart10_A_du.flowchart10_a_INNER__restart_in
344
                    Flowchart10_A_du.flowchart10_a_INNER__state_in
345
                    Flowchart10_A_du.__Flowchart10_A_du_3
346
                    Flowchart10_A_du.__Flowchart10_A_du_4)
347
                    (= Flowchart10_A_du.flowchart10_a_INNER__state_act Flowchart10_A_du.__Flowchart10_A_du_4)
348
                    (= Flowchart10_A_du.flowchart10_a_INNER__restart_act Flowchart10_A_du.__Flowchart10_A_du_3)
349
                    ))
350
            (or (not (= Flowchart10_A_du.flowchart10_a_INNER__state_in POINTFlowchart10_A_INNER))
351
               (and (flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless 
352
                    Flowchart10_A_du.flowchart10_a_INNER__restart_in
353
                    Flowchart10_A_du.flowchart10_a_INNER__state_in
354
                    Flowchart10_A_du.x
355
                    Flowchart10_A_du.__Flowchart10_A_du_5
356
                    Flowchart10_A_du.__Flowchart10_A_du_6)
357
                    (= Flowchart10_A_du.flowchart10_a_INNER__state_act Flowchart10_A_du.__Flowchart10_A_du_6)
358
                    (= Flowchart10_A_du.flowchart10_a_INNER__restart_act Flowchart10_A_du.__Flowchart10_A_du_5)
359
                    ))
360
       )
361
       (and (or (not (= Flowchart10_A_du.flowchart10_a_INNER__state_act FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2))
362
               (and (flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_handler_until 
363
                    Flowchart10_A_du.y_1
364
                    Flowchart10_A_du.__Flowchart10_A_du_7
365
                    Flowchart10_A_du.__Flowchart10_A_du_8
366
                    Flowchart10_A_du.__Flowchart10_A_du_9)
367
                    (= Flowchart10_A_du.y Flowchart10_A_du.__Flowchart10_A_du_9)
368
                    (= Flowchart10_A_du.flowchart10_a_INNER__next_state_in Flowchart10_A_du.__Flowchart10_A_du_8)
369
                    (= Flowchart10_A_du.flowchart10_a_INNER__next_restart_in Flowchart10_A_du.__Flowchart10_A_du_7)
370
                    ))
371
            (or (not (= Flowchart10_A_du.flowchart10_a_INNER__state_act FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1))
372
               (and (flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_handler_until 
373
                    Flowchart10_A_du.y_1
374
                    Flowchart10_A_du.__Flowchart10_A_du_10
375
                    Flowchart10_A_du.__Flowchart10_A_du_11
376
                    Flowchart10_A_du.__Flowchart10_A_du_12)
377
                    (= Flowchart10_A_du.y Flowchart10_A_du.__Flowchart10_A_du_12)
378
                    (= Flowchart10_A_du.flowchart10_a_INNER__next_state_in Flowchart10_A_du.__Flowchart10_A_du_11)
379
                    (= Flowchart10_A_du.flowchart10_a_INNER__next_restart_in Flowchart10_A_du.__Flowchart10_A_du_10)
380
                    ))
381
            (or (not (= Flowchart10_A_du.flowchart10_a_INNER__state_act POINTFlowchart10_A_INNER))
382
               (and (flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until 
383
                    Flowchart10_A_du.y_1
384
                    Flowchart10_A_du.__Flowchart10_A_du_13
385
                    Flowchart10_A_du.__Flowchart10_A_du_14
386
                    Flowchart10_A_du.__Flowchart10_A_du_15)
387
                    (= Flowchart10_A_du.y Flowchart10_A_du.__Flowchart10_A_du_15)
388
                    (= Flowchart10_A_du.flowchart10_a_INNER__next_state_in Flowchart10_A_du.__Flowchart10_A_du_14)
389
                    (= Flowchart10_A_du.flowchart10_a_INNER__next_restart_in Flowchart10_A_du.__Flowchart10_A_du_13)
390
                    ))
391
       )
392
       (= Flowchart10_A_du.__Flowchart10_A_du_18_x Flowchart10_A_du.flowchart10_a_INNER__next_state_in)
393
       (= Flowchart10_A_du.__Flowchart10_A_du_17_x Flowchart10_A_du.flowchart10_a_INNER__next_restart_in)
394
       )
395
  (Flowchart10_A_du_step Flowchart10_A_du.x
396
                         Flowchart10_A_du.y_1
397
                         Flowchart10_A_du.y
398
                         Flowchart10_A_du.__Flowchart10_A_du_17_c
399
                         Flowchart10_A_du.__Flowchart10_A_du_18_c
400
                         Flowchart10_A_du.ni_9._arrow._first_c
401
                         Flowchart10_A_du.__Flowchart10_A_du_17_x
402
                         Flowchart10_A_du.__Flowchart10_A_du_18_x
403
                         Flowchart10_A_du.ni_9._arrow._first_x)
404
))
405

    
406
; Flowchart10_A_node
407
(declare-var Flowchart10_A_node.idFlowchart10_A_1 Int)
408
(declare-var Flowchart10_A_node.x Int)
409
(declare-var Flowchart10_A_node.y_1 Int)
410
(declare-var Flowchart10_A_node.idFlowchart10_A Int)
411
(declare-var Flowchart10_A_node.y Int)
412
(declare-var Flowchart10_A_node.__Flowchart10_A_node_20_c Bool)
413
(declare-var Flowchart10_A_node.__Flowchart10_A_node_21_c flowchart10_a__type)
414
(declare-var Flowchart10_A_node.ni_8._arrow._first_c Bool)
415
(declare-var Flowchart10_A_node.__Flowchart10_A_node_20_m Bool)
416
(declare-var Flowchart10_A_node.__Flowchart10_A_node_21_m flowchart10_a__type)
417
(declare-var Flowchart10_A_node.ni_8._arrow._first_m Bool)
418
(declare-var Flowchart10_A_node.__Flowchart10_A_node_20_x Bool)
419
(declare-var Flowchart10_A_node.__Flowchart10_A_node_21_x flowchart10_a__type)
420
(declare-var Flowchart10_A_node.ni_8._arrow._first_x Bool)
421
(declare-var Flowchart10_A_node.__Flowchart10_A_node_1 Bool)
422
(declare-var Flowchart10_A_node.__Flowchart10_A_node_10 Int)
423
(declare-var Flowchart10_A_node.__Flowchart10_A_node_11 Bool)
424
(declare-var Flowchart10_A_node.__Flowchart10_A_node_12 flowchart10_a__type)
425
(declare-var Flowchart10_A_node.__Flowchart10_A_node_13 Int)
426
(declare-var Flowchart10_A_node.__Flowchart10_A_node_14 Int)
427
(declare-var Flowchart10_A_node.__Flowchart10_A_node_15 Bool)
428
(declare-var Flowchart10_A_node.__Flowchart10_A_node_16 flowchart10_a__type)
429
(declare-var Flowchart10_A_node.__Flowchart10_A_node_17 Int)
430
(declare-var Flowchart10_A_node.__Flowchart10_A_node_18 Int)
431
(declare-var Flowchart10_A_node.__Flowchart10_A_node_19 Bool)
432
(declare-var Flowchart10_A_node.__Flowchart10_A_node_2 flowchart10_a__type)
433
(declare-var Flowchart10_A_node.__Flowchart10_A_node_3 Bool)
434
(declare-var Flowchart10_A_node.__Flowchart10_A_node_4 flowchart10_a__type)
435
(declare-var Flowchart10_A_node.__Flowchart10_A_node_5 Bool)
436
(declare-var Flowchart10_A_node.__Flowchart10_A_node_6 flowchart10_a__type)
437
(declare-var Flowchart10_A_node.__Flowchart10_A_node_7 Bool)
438
(declare-var Flowchart10_A_node.__Flowchart10_A_node_8 flowchart10_a__type)
439
(declare-var Flowchart10_A_node.__Flowchart10_A_node_9 Int)
440
(declare-var Flowchart10_A_node.flowchart10_a__next_restart_in Bool)
441
(declare-var Flowchart10_A_node.flowchart10_a__next_state_in flowchart10_a__type)
442
(declare-var Flowchart10_A_node.flowchart10_a__restart_act Bool)
443
(declare-var Flowchart10_A_node.flowchart10_a__restart_in Bool)
444
(declare-var Flowchart10_A_node.flowchart10_a__state_act flowchart10_a__type)
445
(declare-var Flowchart10_A_node.flowchart10_a__state_in flowchart10_a__type)
446
(declare-rel Flowchart10_A_node_reset (Bool flowchart10_a__type Bool Bool flowchart10_a__type Bool))
447
(declare-rel Flowchart10_A_node_step (Int Int Int Int Int Bool flowchart10_a__type Bool Bool flowchart10_a__type Bool))
448

    
449
(rule (=> 
450
  (and 
451
       (= Flowchart10_A_node.__Flowchart10_A_node_20_m Flowchart10_A_node.__Flowchart10_A_node_20_c)
452
       (= Flowchart10_A_node.__Flowchart10_A_node_21_m Flowchart10_A_node.__Flowchart10_A_node_21_c)
453
       (= Flowchart10_A_node.ni_8._arrow._first_m true)
454
  )
455
  (Flowchart10_A_node_reset Flowchart10_A_node.__Flowchart10_A_node_20_c
456
                            Flowchart10_A_node.__Flowchart10_A_node_21_c
457
                            Flowchart10_A_node.ni_8._arrow._first_c
458
                            Flowchart10_A_node.__Flowchart10_A_node_20_m
459
                            Flowchart10_A_node.__Flowchart10_A_node_21_m
460
                            Flowchart10_A_node.ni_8._arrow._first_m)
461
))
462

    
463
(rule (=> 
464
  (and (= Flowchart10_A_node.ni_8._arrow._first_m Flowchart10_A_node.ni_8._arrow._first_c)
465
       (and (= Flowchart10_A_node.__Flowchart10_A_node_19 (ite Flowchart10_A_node.ni_8._arrow._first_m true false))
466
            (= Flowchart10_A_node.ni_8._arrow._first_x false))
467
       (and (or (not (= Flowchart10_A_node.__Flowchart10_A_node_19 false))
468
               (and (= Flowchart10_A_node.flowchart10_a__state_in Flowchart10_A_node.__Flowchart10_A_node_21_c)
469
                    (= Flowchart10_A_node.flowchart10_a__restart_in Flowchart10_A_node.__Flowchart10_A_node_20_c)
470
                    ))
471
            (or (not (= Flowchart10_A_node.__Flowchart10_A_node_19 true))
472
               (and (= Flowchart10_A_node.flowchart10_a__state_in POINTFlowchart10_A)
473
                    (= Flowchart10_A_node.flowchart10_a__restart_in false)
474
                    ))
475
       )
476
       (and (or (not (= Flowchart10_A_node.flowchart10_a__state_in POINTFlowchart10_A))
477
               (and (flowchart10_a__POINTFlowchart10_A_unless Flowchart10_A_node.flowchart10_a__restart_in
478
                                                              Flowchart10_A_node.flowchart10_a__state_in
479
                                                              Flowchart10_A_node.idFlowchart10_A_1
480
                                                              Flowchart10_A_node.x
481
                                                              Flowchart10_A_node.__Flowchart10_A_node_5
482
                                                              Flowchart10_A_node.__Flowchart10_A_node_6)
483
                    (= Flowchart10_A_node.flowchart10_a__state_act Flowchart10_A_node.__Flowchart10_A_node_6)
484
                    (= Flowchart10_A_node.flowchart10_a__restart_act Flowchart10_A_node.__Flowchart10_A_node_5)
485
                    ))
486
            (or (not (= Flowchart10_A_node.flowchart10_a__state_in POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1))
487
               (and (flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_unless 
488
                    Flowchart10_A_node.flowchart10_a__restart_in
489
                    Flowchart10_A_node.flowchart10_a__state_in
490
                    Flowchart10_A_node.__Flowchart10_A_node_3
491
                    Flowchart10_A_node.__Flowchart10_A_node_4)
492
                    (= Flowchart10_A_node.flowchart10_a__state_act Flowchart10_A_node.__Flowchart10_A_node_4)
493
                    (= Flowchart10_A_node.flowchart10_a__restart_act Flowchart10_A_node.__Flowchart10_A_node_3)
494
                    ))
495
            (or (not (= Flowchart10_A_node.flowchart10_a__state_in POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2))
496
               (and (flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_unless 
497
                    Flowchart10_A_node.flowchart10_a__restart_in
498
                    Flowchart10_A_node.flowchart10_a__state_in
499
                    Flowchart10_A_node.__Flowchart10_A_node_1
500
                    Flowchart10_A_node.__Flowchart10_A_node_2)
501
                    (= Flowchart10_A_node.flowchart10_a__state_act Flowchart10_A_node.__Flowchart10_A_node_2)
502
                    (= Flowchart10_A_node.flowchart10_a__restart_act Flowchart10_A_node.__Flowchart10_A_node_1)
503
                    ))
504
       )
505
       (and (or (not (= Flowchart10_A_node.flowchart10_a__state_act POINTFlowchart10_A))
506
               (and (flowchart10_a__POINTFlowchart10_A_handler_until 
507
                    Flowchart10_A_node.idFlowchart10_A_1
508
                    Flowchart10_A_node.y_1
509
                    Flowchart10_A_node.__Flowchart10_A_node_15
510
                    Flowchart10_A_node.__Flowchart10_A_node_16
511
                    Flowchart10_A_node.__Flowchart10_A_node_17
512
                    Flowchart10_A_node.__Flowchart10_A_node_18)
513
                    (= Flowchart10_A_node.y Flowchart10_A_node.__Flowchart10_A_node_18)
514
                    (= Flowchart10_A_node.idFlowchart10_A Flowchart10_A_node.__Flowchart10_A_node_17)
515
                    (= Flowchart10_A_node.flowchart10_a__next_state_in Flowchart10_A_node.__Flowchart10_A_node_16)
516
                    (= Flowchart10_A_node.flowchart10_a__next_restart_in Flowchart10_A_node.__Flowchart10_A_node_15)
517
                    ))
518
            (or (not (= Flowchart10_A_node.flowchart10_a__state_act POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1))
519
               (and (flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_handler_until 
520
                    Flowchart10_A_node.idFlowchart10_A_1
521
                    Flowchart10_A_node.y_1
522
                    Flowchart10_A_node.__Flowchart10_A_node_11
523
                    Flowchart10_A_node.__Flowchart10_A_node_12
524
                    Flowchart10_A_node.__Flowchart10_A_node_13
525
                    Flowchart10_A_node.__Flowchart10_A_node_14)
526
                    (= Flowchart10_A_node.y Flowchart10_A_node.__Flowchart10_A_node_14)
527
                    (= Flowchart10_A_node.idFlowchart10_A Flowchart10_A_node.__Flowchart10_A_node_13)
528
                    (= Flowchart10_A_node.flowchart10_a__next_state_in Flowchart10_A_node.__Flowchart10_A_node_12)
529
                    (= Flowchart10_A_node.flowchart10_a__next_restart_in Flowchart10_A_node.__Flowchart10_A_node_11)
530
                    ))
531
            (or (not (= Flowchart10_A_node.flowchart10_a__state_act POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2))
532
               (and (flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_handler_until 
533
                    Flowchart10_A_node.idFlowchart10_A_1
534
                    Flowchart10_A_node.y_1
535
                    Flowchart10_A_node.__Flowchart10_A_node_7
536
                    Flowchart10_A_node.__Flowchart10_A_node_8
537
                    Flowchart10_A_node.__Flowchart10_A_node_9
538
                    Flowchart10_A_node.__Flowchart10_A_node_10)
539
                    (= Flowchart10_A_node.y Flowchart10_A_node.__Flowchart10_A_node_10)
540
                    (= Flowchart10_A_node.idFlowchart10_A Flowchart10_A_node.__Flowchart10_A_node_9)
541
                    (= Flowchart10_A_node.flowchart10_a__next_state_in Flowchart10_A_node.__Flowchart10_A_node_8)
542
                    (= Flowchart10_A_node.flowchart10_a__next_restart_in Flowchart10_A_node.__Flowchart10_A_node_7)
543
                    ))
544
       )
545
       (= Flowchart10_A_node.__Flowchart10_A_node_21_x Flowchart10_A_node.flowchart10_a__next_state_in)
546
       (= Flowchart10_A_node.__Flowchart10_A_node_20_x Flowchart10_A_node.flowchart10_a__next_restart_in)
547
       )
548
  (Flowchart10_A_node_step Flowchart10_A_node.idFlowchart10_A_1
549
                           Flowchart10_A_node.x
550
                           Flowchart10_A_node.y_1
551
                           Flowchart10_A_node.idFlowchart10_A
552
                           Flowchart10_A_node.y
553
                           Flowchart10_A_node.__Flowchart10_A_node_20_c
554
                           Flowchart10_A_node.__Flowchart10_A_node_21_c
555
                           Flowchart10_A_node.ni_8._arrow._first_c
556
                           Flowchart10_A_node.__Flowchart10_A_node_20_x
557
                           Flowchart10_A_node.__Flowchart10_A_node_21_x
558
                           Flowchart10_A_node.ni_8._arrow._first_x)
559
))
560

    
561
; Flowchart10_A_en
562
(declare-var Flowchart10_A_en.idFlowchart10_A_1 Int)
563
(declare-var Flowchart10_A_en.idFlowchart10_Flowchart10_1 Int)
564
(declare-var Flowchart10_A_en.x Int)
565
(declare-var Flowchart10_A_en.y_1 Int)
566
(declare-var Flowchart10_A_en.isInner Bool)
567
(declare-var Flowchart10_A_en.idFlowchart10_A Int)
568
(declare-var Flowchart10_A_en.idFlowchart10_Flowchart10 Int)
569
(declare-var Flowchart10_A_en.y Int)
570
(declare-var Flowchart10_A_en.__Flowchart10_A_en_1 Bool)
571
(declare-var Flowchart10_A_en.__Flowchart10_A_en_2 Bool)
572
(declare-var Flowchart10_A_en.__Flowchart10_A_en_3 Bool)
573
(declare-var Flowchart10_A_en.__Flowchart10_A_en_4 Int)
574
(declare-var Flowchart10_A_en.__Flowchart10_A_en_5 Int)
575
(declare-var Flowchart10_A_en.idFlowchart10_A_2 Int)
576
(declare-var Flowchart10_A_en.idFlowchart10_A_3 Int)
577
(declare-var Flowchart10_A_en.idFlowchart10_Flowchart10_3 Int)
578
(declare-var Flowchart10_A_en.idFlowchart10_Flowchart10_4 Int)
579
(declare-var Flowchart10_A_en.y_2 Int)
580
(declare-var Flowchart10_A_en.y_3 Int)
581
(declare-var Flowchart10_A_en.y_4 Int)
582
(declare-var Flowchart10_A_en.y_5 Int)
583
(declare-rel Flowchart10_A_en (Int Int Int Int Bool Int Int Int))
584
(rule (=> 
585
  (and (POINT__To__Flowchart10_Flowchart10Junction769_2_Condition_Action 
586
       Flowchart10_A_en.y_1
587
       Flowchart10_A_en.__Flowchart10_A_en_4)
588
       (= Flowchart10_A_en.__Flowchart10_A_en_3 (> Flowchart10_A_en.x 0))
589
       (and (or (not (= Flowchart10_A_en.__Flowchart10_A_en_3 true))
590
               (= Flowchart10_A_en.y_3 Flowchart10_A_en.__Flowchart10_A_en_4))
591
            (or (not (= Flowchart10_A_en.__Flowchart10_A_en_3 false))
592
               (= Flowchart10_A_en.y_3 Flowchart10_A_en.y_1))
593
       )
594
       (POINT__To__Flowchart10_Flowchart10Junction768_1_Condition_Action 
595
       Flowchart10_A_en.y_1
596
       Flowchart10_A_en.__Flowchart10_A_en_5)
597
       (= Flowchart10_A_en.__Flowchart10_A_en_2 (= Flowchart10_A_en.x 0))
598
       (and (or (not (= Flowchart10_A_en.__Flowchart10_A_en_2 true))
599
               (= Flowchart10_A_en.y_2 Flowchart10_A_en.__Flowchart10_A_en_5))
600
            (or (not (= Flowchart10_A_en.__Flowchart10_A_en_2 false))
601
               (= Flowchart10_A_en.y_2 Flowchart10_A_en.y_1))
602
       )
603
       (= Flowchart10_A_en.__Flowchart10_A_en_1 (= Flowchart10_A_en.idFlowchart10_A_1 0))
604
       (and (or (not (= Flowchart10_A_en.__Flowchart10_A_en_1 false))
605
               (and (= Flowchart10_A_en.y_4 Flowchart10_A_en.y_1)
606
                    (= Flowchart10_A_en.idFlowchart10_Flowchart10_3 767)
607
                    (= Flowchart10_A_en.idFlowchart10_A_2 Flowchart10_A_en.idFlowchart10_A_1)
608
                    (= Flowchart10_A_en.y_5 Flowchart10_A_en.y_1)
609
                    (= Flowchart10_A_en.idFlowchart10_Flowchart10_4 767)
610
                    (= Flowchart10_A_en.idFlowchart10_A_3 Flowchart10_A_en.idFlowchart10_A_1)
611
                    ))
612
            (or (not (= Flowchart10_A_en.__Flowchart10_A_en_1 true))
613
               (and (and (or (not (= Flowchart10_A_en.__Flowchart10_A_en_2 false))
614
                            (and (or (not (= Flowchart10_A_en.__Flowchart10_A_en_3 false))
615
                                    (and (= Flowchart10_A_en.y_4 Flowchart10_A_en.y_1)
616
                                         (= Flowchart10_A_en.idFlowchart10_Flowchart10_3 767)
617
                                         (= Flowchart10_A_en.idFlowchart10_A_2 Flowchart10_A_en.idFlowchart10_A_1)
618
                                         ))
619
                                 (or (not (= Flowchart10_A_en.__Flowchart10_A_en_3 true))
620
                                    (and (= Flowchart10_A_en.y_4 Flowchart10_A_en.y_3)
621
                                         (= Flowchart10_A_en.idFlowchart10_Flowchart10_3 767)
622
                                         (= Flowchart10_A_en.idFlowchart10_A_2 Flowchart10_A_en.idFlowchart10_A_1)
623
                                         ))
624
                            ))
625
                         (or (not (= Flowchart10_A_en.__Flowchart10_A_en_2 true))
626
                            (and (= Flowchart10_A_en.y_4 Flowchart10_A_en.y_2)
627
                                 (= Flowchart10_A_en.idFlowchart10_Flowchart10_3 767)
628
                                 (= Flowchart10_A_en.idFlowchart10_A_2 Flowchart10_A_en.idFlowchart10_A_1)
629
                                 ))
630
                    )
631
                    (= Flowchart10_A_en.y_5 Flowchart10_A_en.y_4)
632
                    (= Flowchart10_A_en.idFlowchart10_Flowchart10_4 Flowchart10_A_en.idFlowchart10_Flowchart10_3)
633
                    (= Flowchart10_A_en.idFlowchart10_A_3 Flowchart10_A_en.idFlowchart10_A_2)
634
                    ))
635
       )
636
       (= Flowchart10_A_en.y Flowchart10_A_en.y_5)
637
       (= Flowchart10_A_en.idFlowchart10_Flowchart10 Flowchart10_A_en.idFlowchart10_Flowchart10_4)
638
       (= Flowchart10_A_en.idFlowchart10_A (- 1))
639
       )
640
  (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)
641
))
642

    
643
; flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until
644
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.idFlowchart10_Flowchart10_1 Int)
645
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.idFlowchart10_A_1 Int)
646
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.x Int)
647
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.y_1 Int)
648
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.flowchart10_flowchart10__restart_in Bool)
649
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.flowchart10_flowchart10__state_in flowchart10_flowchart10__type)
650
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.idFlowchart10_A_out Int)
651
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.idFlowchart10_Flowchart10_out Int)
652
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.y_out Int)
653
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_c Bool)
654
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_c flowchart10_a__type)
655
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_c Bool)
656
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_c Bool)
657
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_c flowchart10_a_INNER__type)
658
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_c Bool)
659
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_m Bool)
660
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_m flowchart10_a__type)
661
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_m Bool)
662
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_m Bool)
663
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_m flowchart10_a_INNER__type)
664
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_m Bool)
665
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_x Bool)
666
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_x flowchart10_a__type)
667
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_x Bool)
668
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_x Bool)
669
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_x flowchart10_a_INNER__type)
670
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_x Bool)
671
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.idFlowchart10_A_2 Int)
672
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.y_2 Int)
673
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.y_3 Int)
674
(declare-rel flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until_reset (Bool flowchart10_a__type Bool Bool flowchart10_a_INNER__type Bool Bool flowchart10_a__type Bool Bool flowchart10_a_INNER__type Bool))
675
(declare-rel flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until_step (Int Int Int Int Bool flowchart10_flowchart10__type Int Int Int Bool flowchart10_a__type Bool Bool flowchart10_a_INNER__type Bool Bool flowchart10_a__type Bool Bool flowchart10_a_INNER__type Bool))
676

    
677
(rule (=> 
678
  (and 
679
       
680
       (Flowchart10_A_du_reset flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_c
681
                               flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_c
682
                               flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_c
683
                               flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_m
684
                               flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_m
685
                               flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_m)
686
       (Flowchart10_A_node_reset flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_c
687
                                 flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_c
688
                                 flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_c
689
                                 flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_m
690
                                 flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_m
691
                                 flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_m)
692
  )
693
  (flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until_reset flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_c
694
                                                                  flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_c
695
                                                                  flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_c
696
                                                                  flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_c
697
                                                                  flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_c
698
                                                                  flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_c
699
                                                                  flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_m
700
                                                                  flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_m
701
                                                                  flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_m
702
                                                                  flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_m
703
                                                                  flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_m
704
                                                                  flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_m)
705
))
706

    
707
(rule (=> 
708
  (and (and (= flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_m flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_c)
709
            (= flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_m flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_c)
710
            (= flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_m flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_c)
711
            )
712
       (Flowchart10_A_du_step flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.x
713
                              flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.y_1
714
                              flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.y_2
715
                              flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_m
716
                              flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_m
717
                              flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_m
718
                              flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_x
719
                              flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_x
720
                              flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_x)
721
       (and (= flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_m flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_c)
722
            (= flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_m flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_c)
723
            (= flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_m flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_c)
724
            )
725
       (Flowchart10_A_node_step flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.idFlowchart10_A_1
726
                                flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.x
727
                                flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.y_2
728
                                flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.idFlowchart10_A_2
729
                                flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.y_3
730
                                flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_m
731
                                flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_m
732
                                flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_m
733
                                flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_x
734
                                flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_x
735
                                flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_x)
736
       (= flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.y_out flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.y_3)
737
       (= flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.idFlowchart10_Flowchart10_out flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.idFlowchart10_Flowchart10_1)
738
       (= flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.idFlowchart10_A_out flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.idFlowchart10_A_2)
739
       (= flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.flowchart10_flowchart10__state_in POINTFlowchart10_Flowchart10)
740
       (= flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.flowchart10_flowchart10__restart_in true)
741
       )
742
  (flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until_step flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.idFlowchart10_Flowchart10_1
743
                                                                 flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.idFlowchart10_A_1
744
                                                                 flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.x
745
                                                                 flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.y_1
746
                                                                 flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.flowchart10_flowchart10__restart_in
747
                                                                 flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.flowchart10_flowchart10__state_in
748
                                                                 flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.idFlowchart10_A_out
749
                                                                 flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.idFlowchart10_Flowchart10_out
750
                                                                 flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.y_out
751
                                                                 flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_c
752
                                                                 flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_c
753
                                                                 flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_c
754
                                                                 flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_c
755
                                                                 flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_c
756
                                                                 flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_c
757
                                                                 flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_x
758
                                                                 flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_x
759
                                                                 flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_x
760
                                                                 flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_x
761
                                                                 flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_x
762
                                                                 flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_x)
763
))
764

    
765
; flowchart10_flowchart10__FLOWCHART10_A_IDL_unless
766
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_unless.flowchart10_flowchart10__restart_in Bool)
767
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_unless.flowchart10_flowchart10__state_in flowchart10_flowchart10__type)
768
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_unless.flowchart10_flowchart10__restart_act Bool)
769
(declare-var flowchart10_flowchart10__FLOWCHART10_A_IDL_unless.flowchart10_flowchart10__state_act flowchart10_flowchart10__type)
770
(declare-rel flowchart10_flowchart10__FLOWCHART10_A_IDL_unless (Bool flowchart10_flowchart10__type Bool flowchart10_flowchart10__type))
771
(rule (=> 
772
  (and (= flowchart10_flowchart10__FLOWCHART10_A_IDL_unless.flowchart10_flowchart10__state_act flowchart10_flowchart10__FLOWCHART10_A_IDL_unless.flowchart10_flowchart10__state_in)
773
       (= flowchart10_flowchart10__FLOWCHART10_A_IDL_unless.flowchart10_flowchart10__restart_act flowchart10_flowchart10__FLOWCHART10_A_IDL_unless.flowchart10_flowchart10__restart_in)
774
       )
775
  (flowchart10_flowchart10__FLOWCHART10_A_IDL_unless flowchart10_flowchart10__FLOWCHART10_A_IDL_unless.flowchart10_flowchart10__restart_in flowchart10_flowchart10__FLOWCHART10_A_IDL_unless.flowchart10_flowchart10__state_in flowchart10_flowchart10__FLOWCHART10_A_IDL_unless.flowchart10_flowchart10__restart_act flowchart10_flowchart10__FLOWCHART10_A_IDL_unless.flowchart10_flowchart10__state_act)
776
))
777

    
778
; flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until
779
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.idFlowchart10_Flowchart10_1 Int)
780
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.idFlowchart10_A_1 Int)
781
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.y_1 Int)
782
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.flowchart10_flowchart10__restart_in Bool)
783
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.flowchart10_flowchart10__state_in flowchart10_flowchart10__type)
784
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.idFlowchart10_A_out Int)
785
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.idFlowchart10_Flowchart10_out Int)
786
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.y_out Int)
787
(declare-rel flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until (Int Int Int Bool flowchart10_flowchart10__type Int Int Int))
788
(rule (=> 
789
  (and (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.y_out flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.y_1)
790
       (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.idFlowchart10_Flowchart10_out flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.idFlowchart10_Flowchart10_1)
791
       (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.idFlowchart10_A_out flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.idFlowchart10_A_1)
792
       (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.flowchart10_flowchart10__state_in POINTFlowchart10_Flowchart10)
793
       (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until.flowchart10_flowchart10__restart_in false)
794
       )
795
  (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)
796
))
797

    
798
; flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless
799
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.flowchart10_flowchart10__restart_in Bool)
800
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.flowchart10_flowchart10__state_in flowchart10_flowchart10__type)
801
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.idFlowchart10_Flowchart10_1 Int)
802
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.flowchart10_flowchart10__restart_act Bool)
803
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.flowchart10_flowchart10__state_act flowchart10_flowchart10__type)
804
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.__flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless_1 Bool)
805
(declare-var flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.__flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless_2 Bool)
806
(declare-rel flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless (Bool flowchart10_flowchart10__type Int Bool flowchart10_flowchart10__type))
807
(rule (=> 
808
  (and (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.__flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless_2 (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.idFlowchart10_Flowchart10_1 767))
809
       (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.__flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless_1 (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.idFlowchart10_Flowchart10_1 0))
810
       (and (or (not (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.__flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless_1 false))
811
               (and (or (not (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.__flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless_2 false))
812
                       (and (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.flowchart10_flowchart10__state_act flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.flowchart10_flowchart10__state_in)
813
                            (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.flowchart10_flowchart10__restart_act flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.flowchart10_flowchart10__restart_in)
814
                            ))
815
                    (or (not (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.__flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless_2 true))
816
                       (and (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.flowchart10_flowchart10__state_act FLOWCHART10_A_IDL)
817
                            (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.flowchart10_flowchart10__restart_act true)
818
                            ))
819
               ))
820
            (or (not (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.__flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless_1 true))
821
               (and (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.flowchart10_flowchart10__state_act POINT__TO__FLOWCHART10_A_1)
822
                    (= flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless.flowchart10_flowchart10__restart_act true)
823
                    ))
824
       )
825
       )
826
  (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)
827
))
828

    
829
; flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until
830
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_Flowchart10_1 Int)
831
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_A_1 Int)
832
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.x Int)
833
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.y_1 Int)
834
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.flowchart10_flowchart10__restart_in Bool)
835
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.flowchart10_flowchart10__state_in flowchart10_flowchart10__type)
836
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_A_out Int)
837
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_Flowchart10_out Int)
838
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.y_out Int)
839
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_A_2 Int)
840
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_Flowchart10_2 Int)
841
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.y_2 Int)
842
(declare-rel flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until (Int Int Int Int Bool flowchart10_flowchart10__type Int Int Int))
843
(rule (=> 
844
  (and (Flowchart10_A_en flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_A_1
845
                         flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_Flowchart10_1
846
                         flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.x
847
                         flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.y_1
848
                         false
849
                         flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_A_2
850
                         flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_Flowchart10_2
851
                         flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.y_2)
852
       (= flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.y_out flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.y_2)
853
       (= flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_Flowchart10_out flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_Flowchart10_2)
854
       (= flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_A_out flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.idFlowchart10_A_2)
855
       (= flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.flowchart10_flowchart10__state_in POINTFlowchart10_Flowchart10)
856
       (= flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until.flowchart10_flowchart10__restart_in true)
857
       )
858
  (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)
859
))
860

    
861
; flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_unless
862
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_unless.flowchart10_flowchart10__restart_in Bool)
863
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_unless.flowchart10_flowchart10__state_in flowchart10_flowchart10__type)
864
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_unless.flowchart10_flowchart10__restart_act Bool)
865
(declare-var flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_unless.flowchart10_flowchart10__state_act flowchart10_flowchart10__type)
866
(declare-rel flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_unless (Bool flowchart10_flowchart10__type Bool flowchart10_flowchart10__type))
867
(rule (=> 
868
  (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)
869
       (= flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_unless.flowchart10_flowchart10__restart_act flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_unless.flowchart10_flowchart10__restart_in)
870
       )
871
  (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)
872
))
873

    
874
; Flowchart10_Flowchart10_node
875
(declare-var Flowchart10_Flowchart10_node.idFlowchart10_Flowchart10_1 Int)
876
(declare-var Flowchart10_Flowchart10_node.idFlowchart10_A_1 Int)
877
(declare-var Flowchart10_Flowchart10_node.x Int)
878
(declare-var Flowchart10_Flowchart10_node.y_1 Int)
879
(declare-var Flowchart10_Flowchart10_node.idFlowchart10_Flowchart10 Int)
880
(declare-var Flowchart10_Flowchart10_node.idFlowchart10_A Int)
881
(declare-var Flowchart10_Flowchart10_node.y Int)
882
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c Bool)
883
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c flowchart10_flowchart10__type)
884
(declare-var Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_c Bool)
885
(declare-var Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_c flowchart10_a__type)
886
(declare-var Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_c Bool)
887
(declare-var Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_c Bool)
888
(declare-var Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_c flowchart10_a_INNER__type)
889
(declare-var Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_c Bool)
890
(declare-var Flowchart10_Flowchart10_node.ni_5._arrow._first_c Bool)
891
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_m Bool)
892
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_m flowchart10_flowchart10__type)
893
(declare-var Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_m Bool)
894
(declare-var Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_m flowchart10_a__type)
895
(declare-var Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_m Bool)
896
(declare-var Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_m Bool)
897
(declare-var Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_m flowchart10_a_INNER__type)
898
(declare-var Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_m Bool)
899
(declare-var Flowchart10_Flowchart10_node.ni_5._arrow._first_m Bool)
900
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_x Bool)
901
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_x flowchart10_flowchart10__type)
902
(declare-var Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_x Bool)
903
(declare-var Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_x flowchart10_a__type)
904
(declare-var Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_x Bool)
905
(declare-var Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_x Bool)
906
(declare-var Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_x flowchart10_a_INNER__type)
907
(declare-var Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_x Bool)
908
(declare-var Flowchart10_Flowchart10_node.ni_5._arrow._first_x Bool)
909
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_1 Bool)
910
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_10 Int)
911
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_11 Int)
912
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_12 Bool)
913
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_13 flowchart10_flowchart10__type)
914
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_14 Int)
915
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_15 Int)
916
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_16 Int)
917
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_17 Bool)
918
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_18 flowchart10_flowchart10__type)
919
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_19 Int)
920
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_2 flowchart10_flowchart10__type)
921
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_20 Int)
922
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_21 Int)
923
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_22 Bool)
924
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_3 Bool)
925
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_4 flowchart10_flowchart10__type)
926
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_5 Bool)
927
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_6 flowchart10_flowchart10__type)
928
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_7 Bool)
929
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_8 flowchart10_flowchart10__type)
930
(declare-var Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_9 Int)
931
(declare-var Flowchart10_Flowchart10_node.flowchart10_flowchart10__next_restart_in Bool)
932
(declare-var Flowchart10_Flowchart10_node.flowchart10_flowchart10__next_state_in flowchart10_flowchart10__type)
933
(declare-var Flowchart10_Flowchart10_node.flowchart10_flowchart10__restart_act Bool)
934
(declare-var Flowchart10_Flowchart10_node.flowchart10_flowchart10__restart_in Bool)
935
(declare-var Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_act flowchart10_flowchart10__type)
936
(declare-var Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_in flowchart10_flowchart10__type)
937
(declare-rel Flowchart10_Flowchart10_node_reset (Bool flowchart10_flowchart10__type Bool flowchart10_a__type Bool Bool flowchart10_a_INNER__type Bool Bool Bool flowchart10_flowchart10__type Bool flowchart10_a__type Bool Bool flowchart10_a_INNER__type Bool Bool))
938
(declare-rel Flowchart10_Flowchart10_node_step (Int Int Int Int Int Int Int Bool flowchart10_flowchart10__type Bool flowchart10_a__type Bool Bool flowchart10_a_INNER__type Bool Bool Bool flowchart10_flowchart10__type Bool flowchart10_a__type Bool Bool flowchart10_a_INNER__type Bool Bool))
939

    
940
(rule (=> 
941
  (and 
942
       (= Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_m Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c)
943
       (= Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_m Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c)
944
       (= Flowchart10_Flowchart10_node.ni_5._arrow._first_m true)
945
       (flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until_reset 
946
       Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_c
947
       Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_c
948
       Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_c
949
       Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_c
950
       Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_c
951
       Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_c
952
       Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_m
953
       Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_m
954
       Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_m
955
       Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_m
956
       Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_m
957
       Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_m)
958
  )
959
  (Flowchart10_Flowchart10_node_reset Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c
960
                                      Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c
961
                                      Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_c
962
                                      Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_c
963
                                      Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_c
964
                                      Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_c
965
                                      Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_c
966
                                      Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_c
967
                                      Flowchart10_Flowchart10_node.ni_5._arrow._first_c
968
                                      Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_m
969
                                      Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_m
970
                                      Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_m
971
                                      Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_m
972
                                      Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_m
973
                                      Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_m
974
                                      Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_m
975
                                      Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_m
976
                                      Flowchart10_Flowchart10_node.ni_5._arrow._first_m)
977
))
978

    
979
(rule (=> 
980
  (and (= Flowchart10_Flowchart10_node.ni_5._arrow._first_m Flowchart10_Flowchart10_node.ni_5._arrow._first_c)
981
       (and (= Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_22 (ite Flowchart10_Flowchart10_node.ni_5._arrow._first_m true false))
982
            (= Flowchart10_Flowchart10_node.ni_5._arrow._first_x false))
983
       (and (or (not (= Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_22 false))
984
               (and (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_in Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c)
985
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__restart_in Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c)
986
                    ))
987
            (or (not (= Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_22 true))
988
               (and (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_in POINTFlowchart10_Flowchart10)
989
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__restart_in false)
990
                    ))
991
       )
992
       (and (or (not (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_in FLOWCHART10_A_IDL))
993
               (and (flowchart10_flowchart10__FLOWCHART10_A_IDL_unless 
994
                    Flowchart10_Flowchart10_node.flowchart10_flowchart10__restart_in
995
                    Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_in
996
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_1
997
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_2)
998
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_act Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_2)
999
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__restart_act Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_1)
1000
                    ))
1001
            (or (not (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_in POINTFlowchart10_Flowchart10))
1002
               (and (flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless 
1003
                    Flowchart10_Flowchart10_node.flowchart10_flowchart10__restart_in
1004
                    Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_in
1005
                    Flowchart10_Flowchart10_node.idFlowchart10_Flowchart10_1
1006
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_5
1007
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_6)
1008
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_act Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_6)
1009
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__restart_act Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_5)
1010
                    ))
1011
            (or (not (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_in POINT__TO__FLOWCHART10_A_1))
1012
               (and (flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_unless 
1013
                    Flowchart10_Flowchart10_node.flowchart10_flowchart10__restart_in
1014
                    Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_in
1015
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_3
1016
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_4)
1017
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_act Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_4)
1018
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__restart_act Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_3)
1019
                    ))
1020
       )
1021
       (and (or (not (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_act FLOWCHART10_A_IDL))
1022
               (and (and (or (not (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__restart_act true))
1023
                            (flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until_reset 
1024
                            Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_c
1025
                            Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_c
1026
                            Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_c
1027
                            Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_c
1028
                            Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_c
1029
                            Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_c
1030
                            Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_m
1031
                            Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_m
1032
                            Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_m
1033
                            Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_m
1034
                            Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_m
1035
                            Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_m))
1036
                         (or (not (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__restart_act false))
1037
                            (and (= Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_m Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_c)
1038
                                 (= Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_m Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_c)
1039
                                 (= Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_m Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_c)
1040
                                 (= Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_m Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_c)
1041
                                 (= Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_m Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_c)
1042
                                 (= Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_m Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_c)
1043
                                 )
1044
                            )
1045
                    )
1046
                    (and (= Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_m Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_c)
1047
                         (= Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_m Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_c)
1048
                         (= Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_m Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_c)
1049
                         (= Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_m Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_c)
1050
                         (= Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_m Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_c)
1051
                         (= Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_m Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_c)
1052
                         )
1053
                    (flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until_step 
1054
                    Flowchart10_Flowchart10_node.idFlowchart10_Flowchart10_1
1055
                    Flowchart10_Flowchart10_node.idFlowchart10_A_1
1056
                    Flowchart10_Flowchart10_node.x
1057
                    Flowchart10_Flowchart10_node.y_1
1058
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_7
1059
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_8
1060
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_9
1061
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_10
1062
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_11
1063
                    Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_m
1064
                    Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_m
1065
                    Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_m
1066
                    Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_m
1067
                    Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_m
1068
                    Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_m
1069
                    Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_x
1070
                    Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_x
1071
                    Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_x
1072
                    Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_x
1073
                    Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_x
1074
                    Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_x)
1075
                    (= Flowchart10_Flowchart10_node.y Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_11)
1076
                    (= Flowchart10_Flowchart10_node.idFlowchart10_Flowchart10 Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_10)
1077
                    (= Flowchart10_Flowchart10_node.idFlowchart10_A Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_9)
1078
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__next_state_in Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_8)
1079
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__next_restart_in Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_7)
1080
                    ))
1081
            (or (not (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_act POINTFlowchart10_Flowchart10))
1082
               (and (flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until 
1083
                    Flowchart10_Flowchart10_node.idFlowchart10_Flowchart10_1
1084
                    Flowchart10_Flowchart10_node.idFlowchart10_A_1
1085
                    Flowchart10_Flowchart10_node.y_1
1086
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_17
1087
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_18
1088
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_19
1089
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_20
1090
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_21)
1091
                    (= Flowchart10_Flowchart10_node.y Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_21)
1092
                    (= Flowchart10_Flowchart10_node.idFlowchart10_Flowchart10 Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_20)
1093
                    (= Flowchart10_Flowchart10_node.idFlowchart10_A Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_19)
1094
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__next_state_in Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_18)
1095
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__next_restart_in Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_17)
1096
                    ))
1097
            (or (not (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__state_act POINT__TO__FLOWCHART10_A_1))
1098
               (and (flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until 
1099
                    Flowchart10_Flowchart10_node.idFlowchart10_Flowchart10_1
1100
                    Flowchart10_Flowchart10_node.idFlowchart10_A_1
1101
                    Flowchart10_Flowchart10_node.x
1102
                    Flowchart10_Flowchart10_node.y_1
1103
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_12
1104
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_13
1105
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_14
1106
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_15
1107
                    Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_16)
1108
                    (= Flowchart10_Flowchart10_node.y Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_16)
1109
                    (= Flowchart10_Flowchart10_node.idFlowchart10_Flowchart10 Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_15)
1110
                    (= Flowchart10_Flowchart10_node.idFlowchart10_A Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_14)
1111
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__next_state_in Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_13)
1112
                    (= Flowchart10_Flowchart10_node.flowchart10_flowchart10__next_restart_in Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_12)
1113
                    ))
1114
       )
1115
       (= Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_x Flowchart10_Flowchart10_node.flowchart10_flowchart10__next_state_in)
1116
       (= Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_x Flowchart10_Flowchart10_node.flowchart10_flowchart10__next_restart_in)
1117
       )
1118
  (Flowchart10_Flowchart10_node_step Flowchart10_Flowchart10_node.idFlowchart10_Flowchart10_1
1119
                                     Flowchart10_Flowchart10_node.idFlowchart10_A_1
1120
                                     Flowchart10_Flowchart10_node.x
1121
                                     Flowchart10_Flowchart10_node.y_1
1122
                                     Flowchart10_Flowchart10_node.idFlowchart10_Flowchart10
1123
                                     Flowchart10_Flowchart10_node.idFlowchart10_A
1124
                                     Flowchart10_Flowchart10_node.y
1125
                                     Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c
1126
                                     Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c
1127
                                     Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_c
1128
                                     Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_c
1129
                                     Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_c
1130
                                     Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_c
1131
                                     Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_c
1132
                                     Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_c
1133
                                     Flowchart10_Flowchart10_node.ni_5._arrow._first_c
1134
                                     Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_x
1135
                                     Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_x
1136
                                     Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_x
1137
                                     Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_x
1138
                                     Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_x
1139
                                     Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_x
1140
                                     Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_x
1141
                                     Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_x
1142
                                     Flowchart10_Flowchart10_node.ni_5._arrow._first_x)
1143
))
1144

    
1145
; Flowchart11_Flowchart10
1146
(declare-var Flowchart11_Flowchart10.x Int)
1147
(declare-var Flowchart11_Flowchart10.y Int)
1148
(declare-var Flowchart11_Flowchart10.__Flowchart11_Flowchart10_2_c Int)
1149
(declare-var Flowchart11_Flowchart10.__Flowchart11_Flowchart10_3_c Int)
1150
(declare-var Flowchart11_Flowchart10.__Flowchart11_Flowchart10_4_c Int)
1151
(declare-var Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c Bool)
1152
(declare-var Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c flowchart10_flowchart10__type)
1153
(declare-var Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_c Bool)
1154
(declare-var Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_c flowchart10_a__type)
1155
(declare-var Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_c Bool)
1156
(declare-var Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_c Bool)
1157
(declare-var Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_c flowchart10_a_INNER__type)
1158
(declare-var Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_c Bool)
1159
(declare-var Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_5._arrow._first_c Bool)
1160
(declare-var Flowchart11_Flowchart10.ni_3._arrow._first_c Bool)
1161
(declare-var Flowchart11_Flowchart10.__Flowchart11_Flowchart10_2_m Int)
1162
(declare-var Flowchart11_Flowchart10.__Flowchart11_Flowchart10_3_m Int)
1163
(declare-var Flowchart11_Flowchart10.__Flowchart11_Flowchart10_4_m Int)
1164
(declare-var Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_m Bool)
1165
(declare-var Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_m flowchart10_flowchart10__type)
1166
(declare-var Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_m Bool)
1167
(declare-var Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_m flowchart10_a__type)
1168
(declare-var Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_m Bool)
1169
(declare-var Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_m Bool)
1170
(declare-var Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_m flowchart10_a_INNER__type)
1171
(declare-var Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_m Bool)
1172
(declare-var Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_5._arrow._first_m Bool)
1173
(declare-var Flowchart11_Flowchart10.ni_3._arrow._first_m Bool)
1174
(declare-var Flowchart11_Flowchart10.__Flowchart11_Flowchart10_2_x Int)
1175
(declare-var Flowchart11_Flowchart10.__Flowchart11_Flowchart10_3_x Int)
1176
(declare-var Flowchart11_Flowchart10.__Flowchart11_Flowchart10_4_x Int)
1177
(declare-var Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_x Bool)
1178
(declare-var Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_x flowchart10_flowchart10__type)
1179
(declare-var Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_x Bool)
1180
(declare-var Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_x flowchart10_a__type)
1181
(declare-var Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_x Bool)
1182
(declare-var Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_x Bool)
1183
(declare-var Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_x flowchart10_a_INNER__type)
1184
(declare-var Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_x Bool)
1185
(declare-var Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_5._arrow._first_x Bool)
1186
(declare-var Flowchart11_Flowchart10.ni_3._arrow._first_x Bool)
1187
(declare-var Flowchart11_Flowchart10.__Flowchart11_Flowchart10_1 Bool)
1188
(declare-var Flowchart11_Flowchart10.idFlowchart10_A Int)
1189
(declare-var Flowchart11_Flowchart10.idFlowchart10_A_1 Int)
1190
(declare-var Flowchart11_Flowchart10.idFlowchart10_Flowchart10 Int)
1191
(declare-var Flowchart11_Flowchart10.idFlowchart10_Flowchart10_1 Int)
1192
(declare-var Flowchart11_Flowchart10.y_1 Int)
1193
(declare-rel Flowchart11_Flowchart10_reset (Int Int Int Bool flowchart10_flowchart10__type Bool flowchart10_a__type Bool Bool flowchart10_a_INNER__type Bool Bool Bool Int Int Int Bool flowchart10_flowchart10__type Bool flowchart10_a__type Bool Bool flowchart10_a_INNER__type Bool Bool Bool))
1194
(declare-rel Flowchart11_Flowchart10_step (Int Int Int Int Int Bool flowchart10_flowchart10__type Bool flowchart10_a__type Bool Bool flowchart10_a_INNER__type Bool Bool Bool Int Int Int Bool flowchart10_flowchart10__type Bool flowchart10_a__type Bool Bool flowchart10_a_INNER__type Bool Bool Bool))
1195

    
1196
(rule (=> 
1197
  (and 
1198
       (= Flowchart11_Flowchart10.__Flowchart11_Flowchart10_2_m Flowchart11_Flowchart10.__Flowchart11_Flowchart10_2_c)
1199
       (= Flowchart11_Flowchart10.__Flowchart11_Flowchart10_3_m Flowchart11_Flowchart10.__Flowchart11_Flowchart10_3_c)
1200
       (= Flowchart11_Flowchart10.__Flowchart11_Flowchart10_4_m Flowchart11_Flowchart10.__Flowchart11_Flowchart10_4_c)
1201
       (= Flowchart11_Flowchart10.ni_3._arrow._first_m true)
1202
       (Flowchart10_Flowchart10_node_reset Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c
1203
                                           Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c
1204
                                           Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_c
1205
                                           Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_c
1206
                                           Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_c
1207
                                           Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_c
1208
                                           Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_c
1209
                                           Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_c
1210
                                           Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_5._arrow._first_c
1211
                                           Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_m
1212
                                           Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_m
1213
                                           Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_m
1214
                                           Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_m
1215
                                           Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_m
1216
                                           Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_m
1217
                                           Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_m
1218
                                           Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_m
1219
                                           Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_5._arrow._first_m)
1220
  )
1221
  (Flowchart11_Flowchart10_reset Flowchart11_Flowchart10.__Flowchart11_Flowchart10_2_c
1222
                                 Flowchart11_Flowchart10.__Flowchart11_Flowchart10_3_c
1223
                                 Flowchart11_Flowchart10.__Flowchart11_Flowchart10_4_c
1224
                                 Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c
1225
                                 Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c
1226
                                 Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_c
1227
                                 Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_c
1228
                                 Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_c
1229
                                 Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_c
1230
                                 Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_c
1231
                                 Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_c
1232
                                 Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_5._arrow._first_c
1233
                                 Flowchart11_Flowchart10.ni_3._arrow._first_c
1234
                                 Flowchart11_Flowchart10.__Flowchart11_Flowchart10_2_m
1235
                                 Flowchart11_Flowchart10.__Flowchart11_Flowchart10_3_m
1236
                                 Flowchart11_Flowchart10.__Flowchart11_Flowchart10_4_m
1237
                                 Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_m
1238
                                 Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_m
1239
                                 Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_m
1240
                                 Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_m
1241
                                 Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_m
1242
                                 Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_m
1243
                                 Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_m
1244
                                 Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_m
1245
                                 Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_5._arrow._first_m
1246
                                 Flowchart11_Flowchart10.ni_3._arrow._first_m)
1247
))
1248

    
1249
(rule (=> 
1250
  (and (= Flowchart11_Flowchart10.ni_3._arrow._first_m Flowchart11_Flowchart10.ni_3._arrow._first_c)
1251
       (and (= Flowchart11_Flowchart10.__Flowchart11_Flowchart10_1 (ite Flowchart11_Flowchart10.ni_3._arrow._first_m true false))
1252
            (= Flowchart11_Flowchart10.ni_3._arrow._first_x false))
1253
       (and (or (not (= Flowchart11_Flowchart10.__Flowchart11_Flowchart10_1 false))
1254
               (and (= Flowchart11_Flowchart10.y_1 Flowchart11_Flowchart10.__Flowchart11_Flowchart10_4_c)
1255
                    (= Flowchart11_Flowchart10.idFlowchart10_Flowchart10_1 Flowchart11_Flowchart10.__Flowchart11_Flowchart10_3_c)
1256
                    (= Flowchart11_Flowchart10.idFlowchart10_A_1 Flowchart11_Flowchart10.__Flowchart11_Flowchart10_2_c)
1257
                    ))
1258
            (or (not (= Flowchart11_Flowchart10.__Flowchart11_Flowchart10_1 true))
1259
               (and (= Flowchart11_Flowchart10.y_1 0)
1260
                    (= Flowchart11_Flowchart10.idFlowchart10_Flowchart10_1 0)
1261
                    (= Flowchart11_Flowchart10.idFlowchart10_A_1 0)
1262
                    ))
1263
       )
1264
       (and (= Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_m Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c)
1265
            (= Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_m Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c)
1266
            (= Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_m Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_c)
1267
            (= Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_m Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_c)
1268
            (= Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_m Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_c)
1269
            (= Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_m Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_c)
1270
            (= Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_m Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_c)
1271
            (= Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_m Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_c)
1272
            (= Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_5._arrow._first_m Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_5._arrow._first_c)
1273
            )
1274
       (Flowchart10_Flowchart10_node_step Flowchart11_Flowchart10.idFlowchart10_Flowchart10_1
1275
                                          Flowchart11_Flowchart10.idFlowchart10_A_1
1276
                                          Flowchart11_Flowchart10.x
1277
                                          Flowchart11_Flowchart10.y_1
1278
                                          Flowchart11_Flowchart10.idFlowchart10_Flowchart10
1279
                                          Flowchart11_Flowchart10.idFlowchart10_A
1280
                                          Flowchart11_Flowchart10.y
1281
                                          Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_m
1282
                                          Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_m
1283
                                          Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_m
1284
                                          Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_m
1285
                                          Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_m
1286
                                          Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_m
1287
                                          Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_m
1288
                                          Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_m
1289
                                          Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_5._arrow._first_m
1290
                                          Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_x
1291
                                          Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_x
1292
                                          Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_x
1293
                                          Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_x
1294
                                          Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_x
1295
                                          Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_x
1296
                                          Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_x
1297
                                          Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_x
1298
                                          Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_5._arrow._first_x)
1299
       (= Flowchart11_Flowchart10.__Flowchart11_Flowchart10_4_x Flowchart11_Flowchart10.y)
1300
       (= Flowchart11_Flowchart10.__Flowchart11_Flowchart10_3_x Flowchart11_Flowchart10.idFlowchart10_Flowchart10)
1301
       (= Flowchart11_Flowchart10.__Flowchart11_Flowchart10_2_x Flowchart11_Flowchart10.idFlowchart10_A)
1302
       )
1303
  (Flowchart11_Flowchart10_step Flowchart11_Flowchart10.x
1304
                                Flowchart11_Flowchart10.y
1305
                                Flowchart11_Flowchart10.__Flowchart11_Flowchart10_2_c
1306
                                Flowchart11_Flowchart10.__Flowchart11_Flowchart10_3_c
1307
                                Flowchart11_Flowchart10.__Flowchart11_Flowchart10_4_c
1308
                                Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c
1309
                                Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c
1310
                                Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_c
1311
                                Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_c
1312
                                Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_c
1313
                                Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_c
1314
                                Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_c
1315
                                Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_c
1316
                                Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_5._arrow._first_c
1317
                                Flowchart11_Flowchart10.ni_3._arrow._first_c
1318
                                Flowchart11_Flowchart10.__Flowchart11_Flowchart10_2_x
1319
                                Flowchart11_Flowchart10.__Flowchart11_Flowchart10_3_x
1320
                                Flowchart11_Flowchart10.__Flowchart11_Flowchart10_4_x
1321
                                Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_x
1322
                                Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_x
1323
                                Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_x
1324
                                Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_x
1325
                                Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_x
1326
                                Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_x
1327
                                Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_x
1328
                                Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_x
1329
                                Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_5._arrow._first_x
1330
                                Flowchart11_Flowchart10.ni_3._arrow._first_x)
1331
))
1332

    
1333
; Flowchart11
1334
(declare-var Flowchart11.x_1_1 Int)
1335
(declare-var Flowchart11.y_1_1 Int)
1336
(declare-var Flowchart11.ni_0._arrow._first_c Bool)
1337
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_2_c Int)
1338
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_3_c Int)
1339
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_4_c Int)
1340
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c Bool)
1341
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c flowchart10_flowchart10__type)
1342
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_c Bool)
1343
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_c flowchart10_a__type)
1344
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_c Bool)
1345
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_c Bool)
1346
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_c flowchart10_a_INNER__type)
1347
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_c Bool)
1348
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_5._arrow._first_c Bool)
1349
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_3._arrow._first_c Bool)
1350
(declare-var Flowchart11.ni_0._arrow._first_m Bool)
1351
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_2_m Int)
1352
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_3_m Int)
1353
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_4_m Int)
1354
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_m Bool)
1355
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_m flowchart10_flowchart10__type)
1356
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_m Bool)
1357
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_m flowchart10_a__type)
1358
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_m Bool)
1359
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_m Bool)
1360
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_m flowchart10_a_INNER__type)
1361
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_m Bool)
1362
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_5._arrow._first_m Bool)
1363
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_3._arrow._first_m Bool)
1364
(declare-var Flowchart11.ni_0._arrow._first_x Bool)
1365
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_2_x Int)
1366
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_3_x Int)
1367
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_4_x Int)
1368
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_x Bool)
1369
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_x flowchart10_flowchart10__type)
1370
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_x Bool)
1371
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_x flowchart10_a__type)
1372
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_x Bool)
1373
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_x Bool)
1374
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_x flowchart10_a_INNER__type)
1375
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_x Bool)
1376
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_5._arrow._first_x Bool)
1377
(declare-var Flowchart11.ni_1.Flowchart11_Flowchart10.ni_3._arrow._first_x Bool)
1378
(declare-var Flowchart11.Flowchart10_1_1 Int)
1379
(declare-var Flowchart11.__Flowchart11_1 Bool)
1380
(declare-var Flowchart11.i_virtual_local Real)
1381
(declare-rel Flowchart11_reset (Bool Int Int Int Bool flowchart10_flowchart10__type Bool flowchart10_a__type Bool Bool flowchart10_a_INNER__type Bool Bool Bool Bool Int Int Int Bool flowchart10_flowchart10__type Bool flowchart10_a__type Bool Bool flowchart10_a_INNER__type Bool Bool Bool))
1382
(declare-rel Flowchart11_step (Int Int Bool Int Int Int Bool flowchart10_flowchart10__type Bool flowchart10_a__type Bool Bool flowchart10_a_INNER__type Bool Bool Bool Bool Int Int Int Bool flowchart10_flowchart10__type Bool flowchart10_a__type Bool Bool flowchart10_a_INNER__type Bool Bool Bool))
1383

    
1384
(rule (=> 
1385
  (and 
1386
       
1387
       (Flowchart11_Flowchart10_reset Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_2_c
1388
                                      Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_3_c
1389
                                      Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_4_c
1390
                                      Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c
1391
                                      Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c
1392
                                      Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_c
1393
                                      Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_c
1394
                                      Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_c
1395
                                      Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_c
1396
                                      Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_c
1397
                                      Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_c
1398
                                      Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_5._arrow._first_c
1399
                                      Flowchart11.ni_1.Flowchart11_Flowchart10.ni_3._arrow._first_c
1400
                                      Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_2_m
1401
                                      Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_3_m
1402
                                      Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_4_m
1403
                                      Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_m
1404
                                      Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_m
1405
                                      Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_m
1406
                                      Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_m
1407
                                      Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_m
1408
                                      Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_m
1409
                                      Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_m
1410
                                      Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_m
1411
                                      Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_5._arrow._first_m
1412
                                      Flowchart11.ni_1.Flowchart11_Flowchart10.ni_3._arrow._first_m)
1413
       (= Flowchart11.ni_0._arrow._first_m true)
1414
  )
1415
  (Flowchart11_reset Flowchart11.ni_0._arrow._first_c
1416
                     Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_2_c
1417
                     Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_3_c
1418
                     Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_4_c
1419
                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c
1420
                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c
1421
                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_c
1422
                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_c
1423
                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_c
1424
                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_c
1425
                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_c
1426
                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_c
1427
                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_5._arrow._first_c
1428
                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_3._arrow._first_c
1429
                     Flowchart11.ni_0._arrow._first_m
1430
                     Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_2_m
1431
                     Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_3_m
1432
                     Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_4_m
1433
                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_m
1434
                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_m
1435
                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_m
1436
                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_m
1437
                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_m
1438
                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_m
1439
                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_m
1440
                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_m
1441
                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_5._arrow._first_m
1442
                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_3._arrow._first_m)
1443
))
1444

    
1445
(rule (=> 
1446
  (and (and (= Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_2_m Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_2_c)
1447
            (= Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_3_m Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_3_c)
1448
            (= Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_4_m Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_4_c)
1449
            (= Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_m Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c)
1450
            (= Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_m Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c)
1451
            (= Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_m Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_c)
1452
            (= Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_m Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_c)
1453
            (= Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_m Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_c)
1454
            (= Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_m Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_c)
1455
            (= Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_m Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_c)
1456
            (= Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_m Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_c)
1457
            (= Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_5._arrow._first_m Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_5._arrow._first_c)
1458
            (= Flowchart11.ni_1.Flowchart11_Flowchart10.ni_3._arrow._first_m Flowchart11.ni_1.Flowchart11_Flowchart10.ni_3._arrow._first_c)
1459
            )
1460
       (Flowchart11_Flowchart10_step Flowchart11.x_1_1
1461
                                     Flowchart11.Flowchart10_1_1
1462
                                     Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_2_m
1463
                                     Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_3_m
1464
                                     Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_4_m
1465
                                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_m
1466
                                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_m
1467
                                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_m
1468
                                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_m
1469
                                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_m
1470
                                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_m
1471
                                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_m
1472
                                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_m
1473
                                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_5._arrow._first_m
1474
                                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_3._arrow._first_m
1475
                                     Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_2_x
1476
                                     Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_3_x
1477
                                     Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_4_x
1478
                                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_x
1479
                                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_x
1480
                                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_x
1481
                                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_x
1482
                                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_x
1483
                                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_x
1484
                                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_x
1485
                                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_x
1486
                                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_5._arrow._first_x
1487
                                     Flowchart11.ni_1.Flowchart11_Flowchart10.ni_3._arrow._first_x)
1488
       (= Flowchart11.y_1_1 Flowchart11.Flowchart10_1_1)
1489
       (= Flowchart11.ni_0._arrow._first_m Flowchart11.ni_0._arrow._first_c)
1490
       (and (= Flowchart11.__Flowchart11_1 (ite Flowchart11.ni_0._arrow._first_m true false))
1491
            (= Flowchart11.ni_0._arrow._first_x false))
1492
       (and (or (not (= Flowchart11.__Flowchart11_1 true))
1493
               (= Flowchart11.i_virtual_local 0.))
1494
            (or (not (= Flowchart11.__Flowchart11_1 false))
1495
               (= Flowchart11.i_virtual_local 1.))
1496
       )
1497
       )
1498
  (Flowchart11_step Flowchart11.x_1_1
1499
                    Flowchart11.y_1_1
1500
                    Flowchart11.ni_0._arrow._first_c
1501
                    Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_2_c
1502
                    Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_3_c
1503
                    Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_4_c
1504
                    Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_c
1505
                    Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_c
1506
                    Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_c
1507
                    Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_c
1508
                    Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_c
1509
                    Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_c
1510
                    Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_c
1511
                    Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_c
1512
                    Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_5._arrow._first_c
1513
                    Flowchart11.ni_1.Flowchart11_Flowchart10.ni_3._arrow._first_c
1514
                    Flowchart11.ni_0._arrow._first_x
1515
                    Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_2_x
1516
                    Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_3_x
1517
                    Flowchart11.ni_1.Flowchart11_Flowchart10.__Flowchart11_Flowchart10_4_x
1518
                    Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_23_x
1519
                    Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.__Flowchart10_Flowchart10_node_24_x
1520
                    Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_20_x
1521
                    Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.__Flowchart10_A_node_21_x
1522
                    Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_6.Flowchart10_A_node.ni_8._arrow._first_x
1523
                    Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_17_x
1524
                    Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.__Flowchart10_A_du_18_x
1525
                    Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_4.flowchart10_flowchart10__FLOWCHART10_A_IDL_handler_until.ni_7.Flowchart10_A_du.ni_9._arrow._first_x
1526
                    Flowchart11.ni_1.Flowchart11_Flowchart10.ni_2.Flowchart10_Flowchart10_node.ni_5._arrow._first_x
1527
                    Flowchart11.ni_1.Flowchart11_Flowchart10.ni_3._arrow._first_x)
1528
))
1529

    
1530
; Flowchart10_A_ex
1531
(declare-var Flowchart10_A_ex.idFlowchart10_Flowchart10_1 Int)
1532
(declare-var Flowchart10_A_ex.isInner Bool)
1533
(declare-var Flowchart10_A_ex.idFlowchart10_Flowchart10 Int)
1534
(declare-var Flowchart10_A_ex.idFlowchart10_Flowchart10_2 Int)
1535
(declare-rel Flowchart10_A_ex (Int Bool Int))
1536
(rule (=> 
1537
  (and (and (or (not (= (not Flowchart10_A_ex.isInner) true))
1538
               (= Flowchart10_A_ex.idFlowchart10_Flowchart10_2 0))
1539
            (or (not (= (not Flowchart10_A_ex.isInner) false))
1540
               (= Flowchart10_A_ex.idFlowchart10_Flowchart10_2 Flowchart10_A_ex.idFlowchart10_Flowchart10_1))
1541
       )
1542
       (= Flowchart10_A_ex.idFlowchart10_Flowchart10 Flowchart10_A_ex.idFlowchart10_Flowchart10_1)
1543
       )
1544
  (Flowchart10_A_ex Flowchart10_A_ex.idFlowchart10_Flowchart10_1 Flowchart10_A_ex.isInner Flowchart10_A_ex.idFlowchart10_Flowchart10)
1545
))
1546