Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Microwave / Microwave.smt2 @ eb639349

History | View | Annotate | Download (244 KB)

1
(declare-datatypes () ((mode_logic_mode_logic__type POINTMode_logic_Mode_logic POINT__TO__MODE_LOGIC_SETUP_1 MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1 MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1 MODE_LOGIC_SETUP_IDL MODE_LOGIC_RUNNING_IDL)));
2

    
3
(declare-datatypes () ((mode_logic_running__type POINTMode_logic_RUNNING POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1 RUNNING_COOKING__TO__RUNNING_COOKING_1 RUNNING_COOKING__TO__RUNNING_SUSPENDED_2 RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1 RUNNING_SUSPENDED__TO__RUNNING_COOKING_2 RUNNING_COOKING_IDL RUNNING_SUSPENDED_IDL)));
4

    
5
; RUNNING_COOKING_ex
6
(declare-var RUNNING_COOKING_ex.idMode_logic_RUNNING_1 Int)
7
(declare-var RUNNING_COOKING_ex.isInner Bool)
8
(declare-var RUNNING_COOKING_ex.idMode_logic_RUNNING Int)
9
(declare-var RUNNING_COOKING_ex.idMode_logic_RUNNING_2 Int)
10
(declare-rel RUNNING_COOKING_ex (Int Bool Int))
11
(rule (=> 
12
  (and (and (or (not (= (not RUNNING_COOKING_ex.isInner) true))
13
               (= RUNNING_COOKING_ex.idMode_logic_RUNNING_2 0))
14
            (or (not (= (not RUNNING_COOKING_ex.isInner) false))
15
               (= RUNNING_COOKING_ex.idMode_logic_RUNNING_2 RUNNING_COOKING_ex.idMode_logic_RUNNING_1))
16
       )
17
       (= RUNNING_COOKING_ex.idMode_logic_RUNNING RUNNING_COOKING_ex.idMode_logic_RUNNING_1)
18
       )
19
  (RUNNING_COOKING_ex RUNNING_COOKING_ex.idMode_logic_RUNNING_1 RUNNING_COOKING_ex.isInner RUNNING_COOKING_ex.idMode_logic_RUNNING)
20
))
21

    
22
; RUNNING_SUSPENDED_ex
23
(declare-var RUNNING_SUSPENDED_ex.idMode_logic_RUNNING_1 Int)
24
(declare-var RUNNING_SUSPENDED_ex.isInner Bool)
25
(declare-var RUNNING_SUSPENDED_ex.idMode_logic_RUNNING Int)
26
(declare-var RUNNING_SUSPENDED_ex.idMode_logic_RUNNING_2 Int)
27
(declare-rel RUNNING_SUSPENDED_ex (Int Bool Int))
28
(rule (=> 
29
  (and (and (or (not (= (not RUNNING_SUSPENDED_ex.isInner) true))
30
               (= RUNNING_SUSPENDED_ex.idMode_logic_RUNNING_2 0))
31
            (or (not (= (not RUNNING_SUSPENDED_ex.isInner) false))
32
               (= RUNNING_SUSPENDED_ex.idMode_logic_RUNNING_2 RUNNING_SUSPENDED_ex.idMode_logic_RUNNING_1))
33
       )
34
       (= RUNNING_SUSPENDED_ex.idMode_logic_RUNNING RUNNING_SUSPENDED_ex.idMode_logic_RUNNING_1)
35
       )
36
  (RUNNING_SUSPENDED_ex RUNNING_SUSPENDED_ex.idMode_logic_RUNNING_1 RUNNING_SUSPENDED_ex.isInner RUNNING_SUSPENDED_ex.idMode_logic_RUNNING)
37
))
38

    
39
; RUNNING_COOKING_en
40
(declare-var RUNNING_COOKING_en.idMode_logic_RUNNING_1 Int)
41
(declare-var RUNNING_COOKING_en.mode_1 Int)
42
(declare-var RUNNING_COOKING_en.isInner Bool)
43
(declare-var RUNNING_COOKING_en.idMode_logic_RUNNING Int)
44
(declare-var RUNNING_COOKING_en.mode Int)
45
(declare-var RUNNING_COOKING_en.mode_2 Int)
46
(declare-rel RUNNING_COOKING_en (Int Int Bool Int Int))
47
(rule (=> 
48
  (and (and (or (not (= (not RUNNING_COOKING_en.isInner) true))
49
               (= RUNNING_COOKING_en.mode_2 2))
50
            (or (not (= (not RUNNING_COOKING_en.isInner) false))
51
               (= RUNNING_COOKING_en.mode_2 RUNNING_COOKING_en.mode_1))
52
       )
53
       (= RUNNING_COOKING_en.mode RUNNING_COOKING_en.mode_2)
54
       (= RUNNING_COOKING_en.idMode_logic_RUNNING 1332)
55
       )
56
  (RUNNING_COOKING_en RUNNING_COOKING_en.idMode_logic_RUNNING_1 RUNNING_COOKING_en.mode_1 RUNNING_COOKING_en.isInner RUNNING_COOKING_en.idMode_logic_RUNNING RUNNING_COOKING_en.mode)
57
))
58

    
59
; RUNNING_SUSPENDED_en
60
(declare-var RUNNING_SUSPENDED_en.idMode_logic_RUNNING_1 Int)
61
(declare-var RUNNING_SUSPENDED_en.mode_1 Int)
62
(declare-var RUNNING_SUSPENDED_en.isInner Bool)
63
(declare-var RUNNING_SUSPENDED_en.idMode_logic_RUNNING Int)
64
(declare-var RUNNING_SUSPENDED_en.mode Int)
65
(declare-var RUNNING_SUSPENDED_en.mode_2 Int)
66
(declare-rel RUNNING_SUSPENDED_en (Int Int Bool Int Int))
67
(rule (=> 
68
  (and (and (or (not (= (not RUNNING_SUSPENDED_en.isInner) true))
69
               (= RUNNING_SUSPENDED_en.mode_2 3))
70
            (or (not (= (not RUNNING_SUSPENDED_en.isInner) false))
71
               (= RUNNING_SUSPENDED_en.mode_2 RUNNING_SUSPENDED_en.mode_1))
72
       )
73
       (= RUNNING_SUSPENDED_en.mode RUNNING_SUSPENDED_en.mode_2)
74
       (= RUNNING_SUSPENDED_en.idMode_logic_RUNNING 1333)
75
       )
76
  (RUNNING_SUSPENDED_en RUNNING_SUSPENDED_en.idMode_logic_RUNNING_1 RUNNING_SUSPENDED_en.mode_1 RUNNING_SUSPENDED_en.isInner RUNNING_SUSPENDED_en.idMode_logic_RUNNING RUNNING_SUSPENDED_en.mode)
77
))
78

    
79
; RUNNING_COOKING__To__RUNNING_COOKING_1_Transition_Action
80
(declare-var RUNNING_COOKING__To__RUNNING_COOKING_1_Transition_Action.steps_remaining_1 Int)
81
(declare-var RUNNING_COOKING__To__RUNNING_COOKING_1_Transition_Action.steps_remaining Int)
82
(declare-rel RUNNING_COOKING__To__RUNNING_COOKING_1_Transition_Action (Int Int))
83
(rule (=> 
84
  (= RUNNING_COOKING__To__RUNNING_COOKING_1_Transition_Action.steps_remaining (- RUNNING_COOKING__To__RUNNING_COOKING_1_Transition_Action.steps_remaining_1 1))
85
  (RUNNING_COOKING__To__RUNNING_COOKING_1_Transition_Action RUNNING_COOKING__To__RUNNING_COOKING_1_Transition_Action.steps_remaining_1 RUNNING_COOKING__To__RUNNING_COOKING_1_Transition_Action.steps_remaining)
86
))
87

    
88
; Mode_logic_RUNNING_ex
89
(declare-var Mode_logic_RUNNING_ex.idMode_logic_RUNNING_1 Int)
90
(declare-var Mode_logic_RUNNING_ex.idMode_logic_Mode_logic_1 Int)
91
(declare-var Mode_logic_RUNNING_ex.isInner Bool)
92
(declare-var Mode_logic_RUNNING_ex.idMode_logic_RUNNING Int)
93
(declare-var Mode_logic_RUNNING_ex.idMode_logic_Mode_logic Int)
94
(declare-var Mode_logic_RUNNING_ex.__Mode_logic_RUNNING_ex_2 Bool)
95
(declare-var Mode_logic_RUNNING_ex.__Mode_logic_RUNNING_ex_3 Bool)
96
(declare-var Mode_logic_RUNNING_ex.__Mode_logic_RUNNING_ex_4 Int)
97
(declare-var Mode_logic_RUNNING_ex.__Mode_logic_RUNNING_ex_5 Int)
98
(declare-var Mode_logic_RUNNING_ex.idMode_logic_Mode_logic_2 Int)
99
(declare-var Mode_logic_RUNNING_ex.idMode_logic_RUNNING_2 Int)
100
(declare-var Mode_logic_RUNNING_ex.idMode_logic_RUNNING_3 Int)
101
(declare-var Mode_logic_RUNNING_ex.idMode_logic_RUNNING_4 Int)
102
(declare-rel Mode_logic_RUNNING_ex (Int Int Bool Int Int))
103
(rule (=> 
104
  (and (RUNNING_SUSPENDED_ex Mode_logic_RUNNING_ex.idMode_logic_RUNNING_1
105
                             false
106
                             Mode_logic_RUNNING_ex.__Mode_logic_RUNNING_ex_4)
107
       (= Mode_logic_RUNNING_ex.__Mode_logic_RUNNING_ex_3 (= Mode_logic_RUNNING_ex.idMode_logic_RUNNING_1 1333))
108
       (and (or (not (= Mode_logic_RUNNING_ex.__Mode_logic_RUNNING_ex_3 true))
109
               (= Mode_logic_RUNNING_ex.idMode_logic_RUNNING_3 Mode_logic_RUNNING_ex.__Mode_logic_RUNNING_ex_4))
110
            (or (not (= Mode_logic_RUNNING_ex.__Mode_logic_RUNNING_ex_3 false))
111
               (= Mode_logic_RUNNING_ex.idMode_logic_RUNNING_3 Mode_logic_RUNNING_ex.idMode_logic_RUNNING_1))
112
       )
113
       (RUNNING_COOKING_ex Mode_logic_RUNNING_ex.idMode_logic_RUNNING_1
114
                           false
115
                           Mode_logic_RUNNING_ex.__Mode_logic_RUNNING_ex_5)
116
       (= Mode_logic_RUNNING_ex.__Mode_logic_RUNNING_ex_2 (= Mode_logic_RUNNING_ex.idMode_logic_RUNNING_1 1332))
117
       (and (or (not (= Mode_logic_RUNNING_ex.__Mode_logic_RUNNING_ex_2 false))
118
               (and (= Mode_logic_RUNNING_ex.idMode_logic_RUNNING_2 Mode_logic_RUNNING_ex.idMode_logic_RUNNING_1)
119
                    (and (or (not (= Mode_logic_RUNNING_ex.__Mode_logic_RUNNING_ex_3 true))
120
                            (= Mode_logic_RUNNING_ex.idMode_logic_RUNNING_4 Mode_logic_RUNNING_ex.idMode_logic_RUNNING_3))
121
                         (or (not (= Mode_logic_RUNNING_ex.__Mode_logic_RUNNING_ex_3 false))
122
                            (= Mode_logic_RUNNING_ex.idMode_logic_RUNNING_4 Mode_logic_RUNNING_ex.idMode_logic_RUNNING_1))
123
                    )
124
                    ))
125
            (or (not (= Mode_logic_RUNNING_ex.__Mode_logic_RUNNING_ex_2 true))
126
               (and (= Mode_logic_RUNNING_ex.idMode_logic_RUNNING_2 Mode_logic_RUNNING_ex.__Mode_logic_RUNNING_ex_5)
127
                    (= Mode_logic_RUNNING_ex.idMode_logic_RUNNING_4 Mode_logic_RUNNING_ex.idMode_logic_RUNNING_2)
128
                    ))
129
       )
130
       (and (or (not (= (not Mode_logic_RUNNING_ex.isInner) true))
131
               (= Mode_logic_RUNNING_ex.idMode_logic_Mode_logic_2 0))
132
            (or (not (= (not Mode_logic_RUNNING_ex.isInner) false))
133
               (= Mode_logic_RUNNING_ex.idMode_logic_Mode_logic_2 Mode_logic_RUNNING_ex.idMode_logic_Mode_logic_1))
134
       )
135
       (= Mode_logic_RUNNING_ex.idMode_logic_RUNNING 0)
136
       (= Mode_logic_RUNNING_ex.idMode_logic_Mode_logic Mode_logic_RUNNING_ex.idMode_logic_Mode_logic_1)
137
       )
138
  (Mode_logic_RUNNING_ex Mode_logic_RUNNING_ex.idMode_logic_RUNNING_1 Mode_logic_RUNNING_ex.idMode_logic_Mode_logic_1 Mode_logic_RUNNING_ex.isInner Mode_logic_RUNNING_ex.idMode_logic_RUNNING Mode_logic_RUNNING_ex.idMode_logic_Mode_logic)
139
))
140

    
141
; Mode_logic_SETUP_en
142
(declare-var Mode_logic_SETUP_en.idMode_logic_Mode_logic_1 Int)
143
(declare-var Mode_logic_SETUP_en.mode_1 Int)
144
(declare-var Mode_logic_SETUP_en.steps_to_cook Int)
145
(declare-var Mode_logic_SETUP_en.steps_remaining_1 Int)
146
(declare-var Mode_logic_SETUP_en.isInner Bool)
147
(declare-var Mode_logic_SETUP_en.idMode_logic_Mode_logic Int)
148
(declare-var Mode_logic_SETUP_en.mode Int)
149
(declare-var Mode_logic_SETUP_en.steps_remaining Int)
150
(declare-var Mode_logic_SETUP_en.__Mode_logic_SETUP_en_1 Bool)
151
(declare-var Mode_logic_SETUP_en.mode_2 Int)
152
(declare-var Mode_logic_SETUP_en.steps_remaining_2 Int)
153
(declare-rel Mode_logic_SETUP_en (Int Int Int Int Bool Int Int Int))
154
(rule (=> 
155
  (and (= Mode_logic_SETUP_en.__Mode_logic_SETUP_en_1 (not Mode_logic_SETUP_en.isInner))
156
       (and (or (not (= Mode_logic_SETUP_en.__Mode_logic_SETUP_en_1 false))
157
               (and (= Mode_logic_SETUP_en.steps_remaining_2 Mode_logic_SETUP_en.steps_remaining_1)
158
                    (= Mode_logic_SETUP_en.mode_2 Mode_logic_SETUP_en.mode_1)
159
                    ))
160
            (or (not (= Mode_logic_SETUP_en.__Mode_logic_SETUP_en_1 true))
161
               (and (= Mode_logic_SETUP_en.steps_remaining_2 Mode_logic_SETUP_en.steps_to_cook)
162
                    (= Mode_logic_SETUP_en.mode_2 1)
163
                    ))
164
       )
165
       (= Mode_logic_SETUP_en.steps_remaining Mode_logic_SETUP_en.steps_remaining_2)
166
       (= Mode_logic_SETUP_en.mode Mode_logic_SETUP_en.mode_2)
167
       (= Mode_logic_SETUP_en.idMode_logic_Mode_logic 1331)
168
       )
169
  (Mode_logic_SETUP_en Mode_logic_SETUP_en.idMode_logic_Mode_logic_1 Mode_logic_SETUP_en.mode_1 Mode_logic_SETUP_en.steps_to_cook Mode_logic_SETUP_en.steps_remaining_1 Mode_logic_SETUP_en.isInner Mode_logic_SETUP_en.idMode_logic_Mode_logic Mode_logic_SETUP_en.mode Mode_logic_SETUP_en.steps_remaining)
170
))
171

    
172
; mode_logic_running__POINTMode_logic_RUNNING_handler_until
173
(declare-var mode_logic_running__POINTMode_logic_RUNNING_handler_until.idMode_logic_RUNNING_1 Int)
174
(declare-var mode_logic_running__POINTMode_logic_RUNNING_handler_until.mode_1 Int)
175
(declare-var mode_logic_running__POINTMode_logic_RUNNING_handler_until.steps_remaining_1 Int)
176
(declare-var mode_logic_running__POINTMode_logic_RUNNING_handler_until.idMode_logic_Mode_logic_1 Int)
177
(declare-var mode_logic_running__POINTMode_logic_RUNNING_handler_until.mode_logic_running__restart_in Bool)
178
(declare-var mode_logic_running__POINTMode_logic_RUNNING_handler_until.mode_logic_running__state_in mode_logic_running__type)
179
(declare-var mode_logic_running__POINTMode_logic_RUNNING_handler_until.idMode_logic_Mode_logic_out Int)
180
(declare-var mode_logic_running__POINTMode_logic_RUNNING_handler_until.idMode_logic_RUNNING_out Int)
181
(declare-var mode_logic_running__POINTMode_logic_RUNNING_handler_until.mode_out Int)
182
(declare-var mode_logic_running__POINTMode_logic_RUNNING_handler_until.steps_remaining_out Int)
183
(declare-rel mode_logic_running__POINTMode_logic_RUNNING_handler_until (Int Int Int Int Bool mode_logic_running__type Int Int Int Int))
184
(rule (=> 
185
  (and (= mode_logic_running__POINTMode_logic_RUNNING_handler_until.steps_remaining_out mode_logic_running__POINTMode_logic_RUNNING_handler_until.steps_remaining_1)
186
       (= mode_logic_running__POINTMode_logic_RUNNING_handler_until.mode_out mode_logic_running__POINTMode_logic_RUNNING_handler_until.mode_1)
187
       (= mode_logic_running__POINTMode_logic_RUNNING_handler_until.mode_logic_running__state_in POINTMode_logic_RUNNING)
188
       (= mode_logic_running__POINTMode_logic_RUNNING_handler_until.mode_logic_running__restart_in false)
189
       (= mode_logic_running__POINTMode_logic_RUNNING_handler_until.idMode_logic_RUNNING_out mode_logic_running__POINTMode_logic_RUNNING_handler_until.idMode_logic_RUNNING_1)
190
       (= mode_logic_running__POINTMode_logic_RUNNING_handler_until.idMode_logic_Mode_logic_out mode_logic_running__POINTMode_logic_RUNNING_handler_until.idMode_logic_Mode_logic_1)
191
       )
192
  (mode_logic_running__POINTMode_logic_RUNNING_handler_until mode_logic_running__POINTMode_logic_RUNNING_handler_until.idMode_logic_RUNNING_1 mode_logic_running__POINTMode_logic_RUNNING_handler_until.mode_1 mode_logic_running__POINTMode_logic_RUNNING_handler_until.steps_remaining_1 mode_logic_running__POINTMode_logic_RUNNING_handler_until.idMode_logic_Mode_logic_1 mode_logic_running__POINTMode_logic_RUNNING_handler_until.mode_logic_running__restart_in mode_logic_running__POINTMode_logic_RUNNING_handler_until.mode_logic_running__state_in mode_logic_running__POINTMode_logic_RUNNING_handler_until.idMode_logic_Mode_logic_out mode_logic_running__POINTMode_logic_RUNNING_handler_until.idMode_logic_RUNNING_out mode_logic_running__POINTMode_logic_RUNNING_handler_until.mode_out mode_logic_running__POINTMode_logic_RUNNING_handler_until.steps_remaining_out)
193
))
194

    
195
; mode_logic_running__POINTMode_logic_RUNNING_unless
196
(declare-var mode_logic_running__POINTMode_logic_RUNNING_unless.mode_logic_running__restart_in Bool)
197
(declare-var mode_logic_running__POINTMode_logic_RUNNING_unless.mode_logic_running__state_in mode_logic_running__type)
198
(declare-var mode_logic_running__POINTMode_logic_RUNNING_unless.idMode_logic_RUNNING_1 Int)
199
(declare-var mode_logic_running__POINTMode_logic_RUNNING_unless.door_closed Bool)
200
(declare-var mode_logic_running__POINTMode_logic_RUNNING_unless.steps_remaining_1 Int)
201
(declare-var mode_logic_running__POINTMode_logic_RUNNING_unless.clear Bool)
202
(declare-var mode_logic_running__POINTMode_logic_RUNNING_unless.start Bool)
203
(declare-var mode_logic_running__POINTMode_logic_RUNNING_unless.mode_logic_running__restart_act Bool)
204
(declare-var mode_logic_running__POINTMode_logic_RUNNING_unless.mode_logic_running__state_act mode_logic_running__type)
205
(declare-var mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_1 Bool)
206
(declare-var mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_2 Bool)
207
(declare-var mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_3 Bool)
208
(declare-var mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_4 Bool)
209
(declare-var mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_5 Bool)
210
(declare-var mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_6 Bool)
211
(declare-var mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_7 Bool)
212
(declare-rel mode_logic_running__POINTMode_logic_RUNNING_unless (Bool mode_logic_running__type Int Bool Int Bool Bool Bool mode_logic_running__type))
213
(rule (=> 
214
  (and (= mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_7 (= mode_logic_running__POINTMode_logic_RUNNING_unless.idMode_logic_RUNNING_1 1333))
215
       (= mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_6 (= mode_logic_running__POINTMode_logic_RUNNING_unless.idMode_logic_RUNNING_1 1332))
216
       (= mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_5 (and (= mode_logic_running__POINTMode_logic_RUNNING_unless.idMode_logic_RUNNING_1 1333) (and mode_logic_running__POINTMode_logic_RUNNING_unless.start mode_logic_running__POINTMode_logic_RUNNING_unless.door_closed)))
217
       (= mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_4 (and (= mode_logic_running__POINTMode_logic_RUNNING_unless.idMode_logic_RUNNING_1 1333) mode_logic_running__POINTMode_logic_RUNNING_unless.clear))
218
       (= mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_3 (and (= mode_logic_running__POINTMode_logic_RUNNING_unless.idMode_logic_RUNNING_1 1332) (or mode_logic_running__POINTMode_logic_RUNNING_unless.clear (not mode_logic_running__POINTMode_logic_RUNNING_unless.door_closed))))
219
       (= mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_2 (and (= mode_logic_running__POINTMode_logic_RUNNING_unless.idMode_logic_RUNNING_1 1332) (> mode_logic_running__POINTMode_logic_RUNNING_unless.steps_remaining_1 0)))
220
       (= mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_1 (= mode_logic_running__POINTMode_logic_RUNNING_unless.idMode_logic_RUNNING_1 0))
221
       (and (or (not (= mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_1 false))
222
               (and (or (not (= mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_2 false))
223
                       (and (or (not (= mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_3 false))
224
                               (and (or (not (= mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_4 false))
225
                                       (and (or (not (= mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_5 false))
226
                                               (and (or (not (= mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_6 false))
227
                                                       (and (or (not (= mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_7 false))
228
                                                               (and (= mode_logic_running__POINTMode_logic_RUNNING_unless.mode_logic_running__state_act mode_logic_running__POINTMode_logic_RUNNING_unless.mode_logic_running__state_in)
229
                                                                    (= mode_logic_running__POINTMode_logic_RUNNING_unless.mode_logic_running__restart_act mode_logic_running__POINTMode_logic_RUNNING_unless.mode_logic_running__restart_in)
230
                                                                    ))
231
                                                            (or (not (= mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_7 true))
232
                                                               (and (= mode_logic_running__POINTMode_logic_RUNNING_unless.mode_logic_running__state_act RUNNING_SUSPENDED_IDL)
233
                                                                    (= mode_logic_running__POINTMode_logic_RUNNING_unless.mode_logic_running__restart_act true)
234
                                                                    ))
235
                                                       ))
236
                                                    (or (not (= mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_6 true))
237
                                                       (and (= mode_logic_running__POINTMode_logic_RUNNING_unless.mode_logic_running__state_act RUNNING_COOKING_IDL)
238
                                                            (= mode_logic_running__POINTMode_logic_RUNNING_unless.mode_logic_running__restart_act true)
239
                                                            ))
240
                                               ))
241
                                            (or (not (= mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_5 true))
242
                                               (and (= mode_logic_running__POINTMode_logic_RUNNING_unless.mode_logic_running__state_act RUNNING_SUSPENDED__TO__RUNNING_COOKING_2)
243
                                                    (= mode_logic_running__POINTMode_logic_RUNNING_unless.mode_logic_running__restart_act true)
244
                                                    ))
245
                                       ))
246
                                    (or (not (= mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_4 true))
247
                                       (and (= mode_logic_running__POINTMode_logic_RUNNING_unless.mode_logic_running__state_act RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1)
248
                                            (= mode_logic_running__POINTMode_logic_RUNNING_unless.mode_logic_running__restart_act true)
249
                                            ))
250
                               ))
251
                            (or (not (= mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_3 true))
252
                               (and (= mode_logic_running__POINTMode_logic_RUNNING_unless.mode_logic_running__state_act RUNNING_COOKING__TO__RUNNING_SUSPENDED_2)
253
                                    (= mode_logic_running__POINTMode_logic_RUNNING_unless.mode_logic_running__restart_act true)
254
                                    ))
255
                       ))
256
                    (or (not (= mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_2 true))
257
                       (and (= mode_logic_running__POINTMode_logic_RUNNING_unless.mode_logic_running__state_act RUNNING_COOKING__TO__RUNNING_COOKING_1)
258
                            (= mode_logic_running__POINTMode_logic_RUNNING_unless.mode_logic_running__restart_act true)
259
                            ))
260
               ))
261
            (or (not (= mode_logic_running__POINTMode_logic_RUNNING_unless.__mode_logic_running__POINTMode_logic_RUNNING_unless_1 true))
262
               (and (= mode_logic_running__POINTMode_logic_RUNNING_unless.mode_logic_running__state_act POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1)
263
                    (= mode_logic_running__POINTMode_logic_RUNNING_unless.mode_logic_running__restart_act true)
264
                    ))
265
       )
266
       )
267
  (mode_logic_running__POINTMode_logic_RUNNING_unless mode_logic_running__POINTMode_logic_RUNNING_unless.mode_logic_running__restart_in mode_logic_running__POINTMode_logic_RUNNING_unless.mode_logic_running__state_in mode_logic_running__POINTMode_logic_RUNNING_unless.idMode_logic_RUNNING_1 mode_logic_running__POINTMode_logic_RUNNING_unless.door_closed mode_logic_running__POINTMode_logic_RUNNING_unless.steps_remaining_1 mode_logic_running__POINTMode_logic_RUNNING_unless.clear mode_logic_running__POINTMode_logic_RUNNING_unless.start mode_logic_running__POINTMode_logic_RUNNING_unless.mode_logic_running__restart_act mode_logic_running__POINTMode_logic_RUNNING_unless.mode_logic_running__state_act)
268
))
269

    
270
; mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until
271
(declare-var mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.idMode_logic_RUNNING_1 Int)
272
(declare-var mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.door_closed Bool)
273
(declare-var mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.mode_1 Int)
274
(declare-var mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.steps_remaining_1 Int)
275
(declare-var mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.idMode_logic_Mode_logic_1 Int)
276
(declare-var mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.mode_logic_running__restart_in Bool)
277
(declare-var mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.mode_logic_running__state_in mode_logic_running__type)
278
(declare-var mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.idMode_logic_Mode_logic_out Int)
279
(declare-var mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.idMode_logic_RUNNING_out Int)
280
(declare-var mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.mode_out Int)
281
(declare-var mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.steps_remaining_out Int)
282
(declare-var mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.__mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until_1 Int)
283
(declare-var mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.__mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until_2 Int)
284
(declare-var mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.idMode_logic_RUNNING Int)
285
(declare-var mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.idMode_logic_RUNNING_2 Int)
286
(declare-var mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.idMode_logic_RUNNING_3 Int)
287
(declare-var mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.mode Int)
288
(declare-var mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.mode_2 Int)
289
(declare-var mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.mode_3 Int)
290
(declare-rel mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until (Int Bool Int Int Int Bool mode_logic_running__type Int Int Int Int))
291
(rule (=> 
292
  (and (= mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.steps_remaining_out mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.steps_remaining_1)
293
       (RUNNING_SUSPENDED_en mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.idMode_logic_RUNNING_1
294
                             mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.mode_1
295
                             false
296
                             mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.idMode_logic_RUNNING_3
297
                             mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.mode_3)
298
       (RUNNING_COOKING_en mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.idMode_logic_RUNNING_1
299
                           mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.mode_1
300
                           false
301
                           mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.__mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until_1
302
                           mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.__mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until_2)
303
       (and (or (not (= mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.door_closed false))
304
               (and (= mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.mode_2 mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.mode_1)
305
                    (= mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.mode mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.mode_3)
306
                    ))
307
            (or (not (= mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.door_closed true))
308
               (and (= mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.mode_2 mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.__mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until_2)
309
                    (= mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.mode mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.mode_2)
310
                    ))
311
       )
312
       (= mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.mode_out mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.mode)
313
       (= mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.mode_logic_running__state_in POINTMode_logic_RUNNING)
314
       (= mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.mode_logic_running__restart_in true)
315
       (and (or (not (= mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.door_closed false))
316
               (and (= mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.idMode_logic_RUNNING_2 mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.idMode_logic_RUNNING_1)
317
                    (= mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.idMode_logic_RUNNING mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.idMode_logic_RUNNING_3)
318
                    ))
319
            (or (not (= mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.door_closed true))
320
               (and (= mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.idMode_logic_RUNNING_2 mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.__mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until_1)
321
                    (= mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.idMode_logic_RUNNING mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.idMode_logic_RUNNING_2)
322
                    ))
323
       )
324
       (= mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.idMode_logic_RUNNING_out mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.idMode_logic_RUNNING)
325
       (= mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.idMode_logic_Mode_logic_out mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.idMode_logic_Mode_logic_1)
326
       )
327
  (mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.idMode_logic_RUNNING_1 mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.door_closed mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.mode_1 mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.steps_remaining_1 mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.idMode_logic_Mode_logic_1 mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.mode_logic_running__restart_in mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.mode_logic_running__state_in mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.idMode_logic_Mode_logic_out mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.idMode_logic_RUNNING_out mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.mode_out mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until.steps_remaining_out)
328
))
329

    
330
; mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_unless
331
(declare-var mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_unless.mode_logic_running__restart_in Bool)
332
(declare-var mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_unless.mode_logic_running__state_in mode_logic_running__type)
333
(declare-var mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_unless.mode_logic_running__restart_act Bool)
334
(declare-var mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_unless.mode_logic_running__state_act mode_logic_running__type)
335
(declare-rel mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_unless (Bool mode_logic_running__type Bool mode_logic_running__type))
336
(rule (=> 
337
  (and (= mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_unless.mode_logic_running__state_act mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_unless.mode_logic_running__state_in)
338
       (= mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_unless.mode_logic_running__restart_act mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_unless.mode_logic_running__restart_in)
339
       )
340
  (mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_unless mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_unless.mode_logic_running__restart_in mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_unless.mode_logic_running__state_in mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_unless.mode_logic_running__restart_act mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_unless.mode_logic_running__state_act)
341
))
342

    
343
; mode_logic_running__RUNNING_COOKING_IDL_handler_until
344
(declare-var mode_logic_running__RUNNING_COOKING_IDL_handler_until.idMode_logic_RUNNING_1 Int)
345
(declare-var mode_logic_running__RUNNING_COOKING_IDL_handler_until.mode_1 Int)
346
(declare-var mode_logic_running__RUNNING_COOKING_IDL_handler_until.steps_remaining_1 Int)
347
(declare-var mode_logic_running__RUNNING_COOKING_IDL_handler_until.idMode_logic_Mode_logic_1 Int)
348
(declare-var mode_logic_running__RUNNING_COOKING_IDL_handler_until.mode_logic_running__restart_in Bool)
349
(declare-var mode_logic_running__RUNNING_COOKING_IDL_handler_until.mode_logic_running__state_in mode_logic_running__type)
350
(declare-var mode_logic_running__RUNNING_COOKING_IDL_handler_until.idMode_logic_Mode_logic_out Int)
351
(declare-var mode_logic_running__RUNNING_COOKING_IDL_handler_until.idMode_logic_RUNNING_out Int)
352
(declare-var mode_logic_running__RUNNING_COOKING_IDL_handler_until.mode_out Int)
353
(declare-var mode_logic_running__RUNNING_COOKING_IDL_handler_until.steps_remaining_out Int)
354
(declare-rel mode_logic_running__RUNNING_COOKING_IDL_handler_until (Int Int Int Int Bool mode_logic_running__type Int Int Int Int))
355
(rule (=> 
356
  (and (= mode_logic_running__RUNNING_COOKING_IDL_handler_until.steps_remaining_out mode_logic_running__RUNNING_COOKING_IDL_handler_until.steps_remaining_1)
357
       (= mode_logic_running__RUNNING_COOKING_IDL_handler_until.mode_out mode_logic_running__RUNNING_COOKING_IDL_handler_until.mode_1)
358
       (= mode_logic_running__RUNNING_COOKING_IDL_handler_until.mode_logic_running__state_in POINTMode_logic_RUNNING)
359
       (= mode_logic_running__RUNNING_COOKING_IDL_handler_until.mode_logic_running__restart_in true)
360
       (= mode_logic_running__RUNNING_COOKING_IDL_handler_until.idMode_logic_RUNNING_out mode_logic_running__RUNNING_COOKING_IDL_handler_until.idMode_logic_RUNNING_1)
361
       (= mode_logic_running__RUNNING_COOKING_IDL_handler_until.idMode_logic_Mode_logic_out mode_logic_running__RUNNING_COOKING_IDL_handler_until.idMode_logic_Mode_logic_1)
362
       )
363
  (mode_logic_running__RUNNING_COOKING_IDL_handler_until mode_logic_running__RUNNING_COOKING_IDL_handler_until.idMode_logic_RUNNING_1 mode_logic_running__RUNNING_COOKING_IDL_handler_until.mode_1 mode_logic_running__RUNNING_COOKING_IDL_handler_until.steps_remaining_1 mode_logic_running__RUNNING_COOKING_IDL_handler_until.idMode_logic_Mode_logic_1 mode_logic_running__RUNNING_COOKING_IDL_handler_until.mode_logic_running__restart_in mode_logic_running__RUNNING_COOKING_IDL_handler_until.mode_logic_running__state_in mode_logic_running__RUNNING_COOKING_IDL_handler_until.idMode_logic_Mode_logic_out mode_logic_running__RUNNING_COOKING_IDL_handler_until.idMode_logic_RUNNING_out mode_logic_running__RUNNING_COOKING_IDL_handler_until.mode_out mode_logic_running__RUNNING_COOKING_IDL_handler_until.steps_remaining_out)
364
))
365

    
366
; mode_logic_running__RUNNING_COOKING_IDL_unless
367
(declare-var mode_logic_running__RUNNING_COOKING_IDL_unless.mode_logic_running__restart_in Bool)
368
(declare-var mode_logic_running__RUNNING_COOKING_IDL_unless.mode_logic_running__state_in mode_logic_running__type)
369
(declare-var mode_logic_running__RUNNING_COOKING_IDL_unless.mode_logic_running__restart_act Bool)
370
(declare-var mode_logic_running__RUNNING_COOKING_IDL_unless.mode_logic_running__state_act mode_logic_running__type)
371
(declare-rel mode_logic_running__RUNNING_COOKING_IDL_unless (Bool mode_logic_running__type Bool mode_logic_running__type))
372
(rule (=> 
373
  (and (= mode_logic_running__RUNNING_COOKING_IDL_unless.mode_logic_running__state_act mode_logic_running__RUNNING_COOKING_IDL_unless.mode_logic_running__state_in)
374
       (= mode_logic_running__RUNNING_COOKING_IDL_unless.mode_logic_running__restart_act mode_logic_running__RUNNING_COOKING_IDL_unless.mode_logic_running__restart_in)
375
       )
376
  (mode_logic_running__RUNNING_COOKING_IDL_unless mode_logic_running__RUNNING_COOKING_IDL_unless.mode_logic_running__restart_in mode_logic_running__RUNNING_COOKING_IDL_unless.mode_logic_running__state_in mode_logic_running__RUNNING_COOKING_IDL_unless.mode_logic_running__restart_act mode_logic_running__RUNNING_COOKING_IDL_unless.mode_logic_running__state_act)
377
))
378

    
379
; mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until
380
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.idMode_logic_RUNNING_1 Int)
381
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.mode_1 Int)
382
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.steps_remaining_1 Int)
383
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.idMode_logic_Mode_logic_1 Int)
384
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.mode_logic_running__restart_in Bool)
385
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.mode_logic_running__state_in mode_logic_running__type)
386
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.idMode_logic_Mode_logic_out Int)
387
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.idMode_logic_RUNNING_out Int)
388
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.mode_out Int)
389
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.steps_remaining_out Int)
390
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.idMode_logic_RUNNING_2 Int)
391
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.idMode_logic_RUNNING_3 Int)
392
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.mode_2 Int)
393
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.steps_remaining_2 Int)
394
(declare-rel mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until (Int Int Int Int Bool mode_logic_running__type Int Int Int Int))
395
(rule (=> 
396
  (and (RUNNING_COOKING__To__RUNNING_COOKING_1_Transition_Action mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.steps_remaining_1
397
                                                                 mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.steps_remaining_2)
398
       (= mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.steps_remaining_out mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.steps_remaining_2)
399
       (RUNNING_COOKING_ex mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.idMode_logic_RUNNING_1
400
                           false
401
                           mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.idMode_logic_RUNNING_2)
402
       (RUNNING_COOKING_en mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.idMode_logic_RUNNING_2
403
                           mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.mode_1
404
                           false
405
                           mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.idMode_logic_RUNNING_3
406
                           mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.mode_2)
407
       (= mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.mode_out mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.mode_2)
408
       (= mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.mode_logic_running__state_in POINTMode_logic_RUNNING)
409
       (= mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.mode_logic_running__restart_in true)
410
       (= mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.idMode_logic_RUNNING_out mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.idMode_logic_RUNNING_3)
411
       (= mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.idMode_logic_Mode_logic_out mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.idMode_logic_Mode_logic_1)
412
       )
413
  (mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.idMode_logic_RUNNING_1 mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.mode_1 mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.steps_remaining_1 mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.idMode_logic_Mode_logic_1 mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.mode_logic_running__restart_in mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.mode_logic_running__state_in mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.idMode_logic_Mode_logic_out mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.idMode_logic_RUNNING_out mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.mode_out mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until.steps_remaining_out)
414
))
415

    
416
; mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_unless
417
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_unless.mode_logic_running__restart_in Bool)
418
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_unless.mode_logic_running__state_in mode_logic_running__type)
419
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_unless.mode_logic_running__restart_act Bool)
420
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_unless.mode_logic_running__state_act mode_logic_running__type)
421
(declare-rel mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_unless (Bool mode_logic_running__type Bool mode_logic_running__type))
422
(rule (=> 
423
  (and (= mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_unless.mode_logic_running__state_act mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_unless.mode_logic_running__state_in)
424
       (= mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_unless.mode_logic_running__restart_act mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_unless.mode_logic_running__restart_in)
425
       )
426
  (mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_unless mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_unless.mode_logic_running__restart_in mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_unless.mode_logic_running__state_in mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_unless.mode_logic_running__restart_act mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_unless.mode_logic_running__state_act)
427
))
428

    
429
; mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until
430
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.idMode_logic_RUNNING_1 Int)
431
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.mode_1 Int)
432
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.steps_remaining_1 Int)
433
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.idMode_logic_Mode_logic_1 Int)
434
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.mode_logic_running__restart_in Bool)
435
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.mode_logic_running__state_in mode_logic_running__type)
436
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.idMode_logic_Mode_logic_out Int)
437
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.idMode_logic_RUNNING_out Int)
438
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.mode_out Int)
439
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.steps_remaining_out Int)
440
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.idMode_logic_RUNNING_2 Int)
441
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.idMode_logic_RUNNING_3 Int)
442
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.mode_2 Int)
443
(declare-rel mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until (Int Int Int Int Bool mode_logic_running__type Int Int Int Int))
444
(rule (=> 
445
  (and (= mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.steps_remaining_out mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.steps_remaining_1)
446
       (RUNNING_COOKING_ex mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.idMode_logic_RUNNING_1
447
                           false
448
                           mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.idMode_logic_RUNNING_2)
449
       (RUNNING_SUSPENDED_en mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.idMode_logic_RUNNING_2
450
                             mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.mode_1
451
                             false
452
                             mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.idMode_logic_RUNNING_3
453
                             mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.mode_2)
454
       (= mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.mode_out mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.mode_2)
455
       (= mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.mode_logic_running__state_in POINTMode_logic_RUNNING)
456
       (= mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.mode_logic_running__restart_in true)
457
       (= mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.idMode_logic_RUNNING_out mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.idMode_logic_RUNNING_3)
458
       (= mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.idMode_logic_Mode_logic_out mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.idMode_logic_Mode_logic_1)
459
       )
460
  (mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.idMode_logic_RUNNING_1 mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.mode_1 mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.steps_remaining_1 mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.idMode_logic_Mode_logic_1 mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.mode_logic_running__restart_in mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.mode_logic_running__state_in mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.idMode_logic_Mode_logic_out mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.idMode_logic_RUNNING_out mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.mode_out mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until.steps_remaining_out)
461
))
462

    
463
; mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_unless
464
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_unless.mode_logic_running__restart_in Bool)
465
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_unless.mode_logic_running__state_in mode_logic_running__type)
466
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_unless.mode_logic_running__restart_act Bool)
467
(declare-var mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_unless.mode_logic_running__state_act mode_logic_running__type)
468
(declare-rel mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_unless (Bool mode_logic_running__type Bool mode_logic_running__type))
469
(rule (=> 
470
  (and (= mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_unless.mode_logic_running__state_act mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_unless.mode_logic_running__state_in)
471
       (= mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_unless.mode_logic_running__restart_act mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_unless.mode_logic_running__restart_in)
472
       )
473
  (mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_unless mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_unless.mode_logic_running__restart_in mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_unless.mode_logic_running__state_in mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_unless.mode_logic_running__restart_act mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_unless.mode_logic_running__state_act)
474
))
475

    
476
; mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until
477
(declare-var mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.idMode_logic_RUNNING_1 Int)
478
(declare-var mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.mode_1 Int)
479
(declare-var mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.steps_remaining_1 Int)
480
(declare-var mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.idMode_logic_Mode_logic_1 Int)
481
(declare-var mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.mode_logic_running__restart_in Bool)
482
(declare-var mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.mode_logic_running__state_in mode_logic_running__type)
483
(declare-var mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.idMode_logic_Mode_logic_out Int)
484
(declare-var mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.idMode_logic_RUNNING_out Int)
485
(declare-var mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.mode_out Int)
486
(declare-var mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.steps_remaining_out Int)
487
(declare-rel mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until (Int Int Int Int Bool mode_logic_running__type Int Int Int Int))
488
(rule (=> 
489
  (and (= mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.steps_remaining_out mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.steps_remaining_1)
490
       (= mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.mode_out mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.mode_1)
491
       (= mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.mode_logic_running__state_in POINTMode_logic_RUNNING)
492
       (= mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.mode_logic_running__restart_in true)
493
       (= mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.idMode_logic_RUNNING_out mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.idMode_logic_RUNNING_1)
494
       (= mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.idMode_logic_Mode_logic_out mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.idMode_logic_Mode_logic_1)
495
       )
496
  (mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.idMode_logic_RUNNING_1 mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.mode_1 mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.steps_remaining_1 mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.idMode_logic_Mode_logic_1 mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.mode_logic_running__restart_in mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.mode_logic_running__state_in mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.idMode_logic_Mode_logic_out mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.idMode_logic_RUNNING_out mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.mode_out mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until.steps_remaining_out)
497
))
498

    
499
; mode_logic_running__RUNNING_SUSPENDED_IDL_unless
500
(declare-var mode_logic_running__RUNNING_SUSPENDED_IDL_unless.mode_logic_running__restart_in Bool)
501
(declare-var mode_logic_running__RUNNING_SUSPENDED_IDL_unless.mode_logic_running__state_in mode_logic_running__type)
502
(declare-var mode_logic_running__RUNNING_SUSPENDED_IDL_unless.mode_logic_running__restart_act Bool)
503
(declare-var mode_logic_running__RUNNING_SUSPENDED_IDL_unless.mode_logic_running__state_act mode_logic_running__type)
504
(declare-rel mode_logic_running__RUNNING_SUSPENDED_IDL_unless (Bool mode_logic_running__type Bool mode_logic_running__type))
505
(rule (=> 
506
  (and (= mode_logic_running__RUNNING_SUSPENDED_IDL_unless.mode_logic_running__state_act mode_logic_running__RUNNING_SUSPENDED_IDL_unless.mode_logic_running__state_in)
507
       (= mode_logic_running__RUNNING_SUSPENDED_IDL_unless.mode_logic_running__restart_act mode_logic_running__RUNNING_SUSPENDED_IDL_unless.mode_logic_running__restart_in)
508
       )
509
  (mode_logic_running__RUNNING_SUSPENDED_IDL_unless mode_logic_running__RUNNING_SUSPENDED_IDL_unless.mode_logic_running__restart_in mode_logic_running__RUNNING_SUSPENDED_IDL_unless.mode_logic_running__state_in mode_logic_running__RUNNING_SUSPENDED_IDL_unless.mode_logic_running__restart_act mode_logic_running__RUNNING_SUSPENDED_IDL_unless.mode_logic_running__state_act)
510
))
511

    
512
; mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until
513
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_RUNNING_1 Int)
514
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_1 Int)
515
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.steps_remaining_1 Int)
516
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_Mode_logic_1 Int)
517
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.steps_to_cook Int)
518
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_logic_running__restart_in Bool)
519
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_logic_running__state_in mode_logic_running__type)
520
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_Mode_logic_out Int)
521
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_RUNNING_out Int)
522
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_out Int)
523
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.steps_remaining_out Int)
524
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_Mode_logic_2 Int)
525
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_Mode_logic_3 Int)
526
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_RUNNING_2 Int)
527
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_2 Int)
528
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.steps_remaining_2 Int)
529
(declare-rel mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until (Int Int Int Int Int Bool mode_logic_running__type Int Int Int Int))
530
(rule (=> 
531
  (and (Mode_logic_RUNNING_ex mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_RUNNING_1
532
                              mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_Mode_logic_1
533
                              false
534
                              mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_RUNNING_2
535
                              mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_Mode_logic_2)
536
       (Mode_logic_SETUP_en mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_Mode_logic_2
537
                            mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_1
538
                            mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.steps_to_cook
539
                            mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.steps_remaining_1
540
                            false
541
                            mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_Mode_logic_3
542
                            mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_2
543
                            mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.steps_remaining_2)
544
       (= mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.steps_remaining_out mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.steps_remaining_2)
545
       (= mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_out mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_2)
546
       (= mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_logic_running__state_in POINTMode_logic_RUNNING)
547
       (= mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_logic_running__restart_in true)
548
       (= mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_RUNNING_out mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_RUNNING_2)
549
       (= mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_Mode_logic_out mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_Mode_logic_3)
550
       )
551
  (mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_RUNNING_1 mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_1 mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.steps_remaining_1 mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_Mode_logic_1 mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.steps_to_cook mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_logic_running__restart_in mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_logic_running__state_in mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_Mode_logic_out mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_RUNNING_out mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_out mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.steps_remaining_out)
552
))
553

    
554
; mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless
555
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless.mode_logic_running__restart_in Bool)
556
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless.mode_logic_running__state_in mode_logic_running__type)
557
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless.mode_logic_running__restart_act Bool)
558
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless.mode_logic_running__state_act mode_logic_running__type)
559
(declare-rel mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless (Bool mode_logic_running__type Bool mode_logic_running__type))
560
(rule (=> 
561
  (and (= mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless.mode_logic_running__state_act mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless.mode_logic_running__state_in)
562
       (= mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless.mode_logic_running__restart_act mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless.mode_logic_running__restart_in)
563
       )
564
  (mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless.mode_logic_running__restart_in mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless.mode_logic_running__state_in mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless.mode_logic_running__restart_act mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless.mode_logic_running__state_act)
565
))
566

    
567
; mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until
568
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.idMode_logic_RUNNING_1 Int)
569
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.mode_1 Int)
570
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.steps_remaining_1 Int)
571
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.idMode_logic_Mode_logic_1 Int)
572
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.mode_logic_running__restart_in Bool)
573
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.mode_logic_running__state_in mode_logic_running__type)
574
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.idMode_logic_Mode_logic_out Int)
575
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.idMode_logic_RUNNING_out Int)
576
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.mode_out Int)
577
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.steps_remaining_out Int)
578
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.idMode_logic_RUNNING_2 Int)
579
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.idMode_logic_RUNNING_3 Int)
580
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.mode_2 Int)
581
(declare-rel mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until (Int Int Int Int Bool mode_logic_running__type Int Int Int Int))
582
(rule (=> 
583
  (and (= mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.steps_remaining_out mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.steps_remaining_1)
584
       (RUNNING_SUSPENDED_ex mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.idMode_logic_RUNNING_1
585
                             false
586
                             mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.idMode_logic_RUNNING_2)
587
       (RUNNING_COOKING_en mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.idMode_logic_RUNNING_2
588
                           mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.mode_1
589
                           false
590
                           mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.idMode_logic_RUNNING_3
591
                           mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.mode_2)
592
       (= mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.mode_out mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.mode_2)
593
       (= mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.mode_logic_running__state_in POINTMode_logic_RUNNING)
594
       (= mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.mode_logic_running__restart_in true)
595
       (= mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.idMode_logic_RUNNING_out mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.idMode_logic_RUNNING_3)
596
       (= mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.idMode_logic_Mode_logic_out mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.idMode_logic_Mode_logic_1)
597
       )
598
  (mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.idMode_logic_RUNNING_1 mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.mode_1 mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.steps_remaining_1 mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.idMode_logic_Mode_logic_1 mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.mode_logic_running__restart_in mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.mode_logic_running__state_in mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.idMode_logic_Mode_logic_out mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.idMode_logic_RUNNING_out mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.mode_out mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until.steps_remaining_out)
599
))
600

    
601
; mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_unless
602
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_unless.mode_logic_running__restart_in Bool)
603
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_unless.mode_logic_running__state_in mode_logic_running__type)
604
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_unless.mode_logic_running__restart_act Bool)
605
(declare-var mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_unless.mode_logic_running__state_act mode_logic_running__type)
606
(declare-rel mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_unless (Bool mode_logic_running__type Bool mode_logic_running__type))
607
(rule (=> 
608
  (and (= mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_unless.mode_logic_running__state_act mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_unless.mode_logic_running__state_in)
609
       (= mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_unless.mode_logic_running__restart_act mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_unless.mode_logic_running__restart_in)
610
       )
611
  (mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_unless mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_unless.mode_logic_running__restart_in mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_unless.mode_logic_running__state_in mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_unless.mode_logic_running__restart_act mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_unless.mode_logic_running__state_act)
612
))
613

    
614
; Mode_logic_RUNNING_node
615
(declare-var Mode_logic_RUNNING_node.idMode_logic_RUNNING_1 Int)
616
(declare-var Mode_logic_RUNNING_node.door_closed Bool)
617
(declare-var Mode_logic_RUNNING_node.mode_1 Int)
618
(declare-var Mode_logic_RUNNING_node.steps_remaining_1 Int)
619
(declare-var Mode_logic_RUNNING_node.clear Bool)
620
(declare-var Mode_logic_RUNNING_node.idMode_logic_Mode_logic_1 Int)
621
(declare-var Mode_logic_RUNNING_node.steps_to_cook Int)
622
(declare-var Mode_logic_RUNNING_node.start Bool)
623
(declare-var Mode_logic_RUNNING_node.idMode_logic_RUNNING Int)
624
(declare-var Mode_logic_RUNNING_node.mode Int)
625
(declare-var Mode_logic_RUNNING_node.steps_remaining Int)
626
(declare-var Mode_logic_RUNNING_node.idMode_logic_Mode_logic Int)
627
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_c Bool)
628
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_c mode_logic_running__type)
629
(declare-var Mode_logic_RUNNING_node.ni_7._arrow._first_c Bool)
630
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_m Bool)
631
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_m mode_logic_running__type)
632
(declare-var Mode_logic_RUNNING_node.ni_7._arrow._first_m Bool)
633
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_x Bool)
634
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_x mode_logic_running__type)
635
(declare-var Mode_logic_RUNNING_node.ni_7._arrow._first_x Bool)
636
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_1 Bool)
637
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_10 mode_logic_running__type)
638
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_11 Bool)
639
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_12 mode_logic_running__type)
640
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_13 Bool)
641
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_14 mode_logic_running__type)
642
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_15 Bool)
643
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_16 mode_logic_running__type)
644
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_17 Bool)
645
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_18 mode_logic_running__type)
646
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_19 Int)
647
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_2 mode_logic_running__type)
648
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_20 Int)
649
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_21 Int)
650
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_22 Int)
651
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_23 Bool)
652
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_24 mode_logic_running__type)
653
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_25 Int)
654
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_26 Int)
655
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_27 Int)
656
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_28 Int)
657
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_29 Bool)
658
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_3 Bool)
659
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_30 mode_logic_running__type)
660
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_31 Int)
661
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_32 Int)
662
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_33 Int)
663
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_34 Int)
664
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_35 Bool)
665
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_36 mode_logic_running__type)
666
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_37 Int)
667
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_38 Int)
668
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_39 Int)
669
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_4 mode_logic_running__type)
670
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_40 Int)
671
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_41 Bool)
672
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_42 mode_logic_running__type)
673
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_43 Int)
674
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_44 Int)
675
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_45 Int)
676
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_46 Int)
677
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_47 Bool)
678
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_48 mode_logic_running__type)
679
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_49 Int)
680
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_5 Bool)
681
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_50 Int)
682
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_51 Int)
683
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_52 Int)
684
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_53 Bool)
685
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_54 mode_logic_running__type)
686
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_55 Int)
687
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_56 Int)
688
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_57 Int)
689
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_58 Int)
690
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_59 Bool)
691
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_6 mode_logic_running__type)
692
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_60 mode_logic_running__type)
693
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_61 Int)
694
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_62 Int)
695
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_63 Int)
696
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_64 Int)
697
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_65 Bool)
698
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_7 Bool)
699
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_8 mode_logic_running__type)
700
(declare-var Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_9 Bool)
701
(declare-var Mode_logic_RUNNING_node.mode_logic_running__next_restart_in Bool)
702
(declare-var Mode_logic_RUNNING_node.mode_logic_running__next_state_in mode_logic_running__type)
703
(declare-var Mode_logic_RUNNING_node.mode_logic_running__restart_act Bool)
704
(declare-var Mode_logic_RUNNING_node.mode_logic_running__restart_in Bool)
705
(declare-var Mode_logic_RUNNING_node.mode_logic_running__state_act mode_logic_running__type)
706
(declare-var Mode_logic_RUNNING_node.mode_logic_running__state_in mode_logic_running__type)
707
(declare-rel Mode_logic_RUNNING_node_reset (Bool mode_logic_running__type Bool Bool mode_logic_running__type Bool))
708
(declare-rel Mode_logic_RUNNING_node_step (Int Bool Int Int Bool Int Int Bool Int Int Int Int Bool mode_logic_running__type Bool Bool mode_logic_running__type Bool))
709

    
710
(rule (=> 
711
  (and 
712
       (= Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_m Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_c)
713
       (= Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_m Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_c)
714
       (= Mode_logic_RUNNING_node.ni_7._arrow._first_m true)
715
  )
716
  (Mode_logic_RUNNING_node_reset Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_c
717
                                 Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_c
718
                                 Mode_logic_RUNNING_node.ni_7._arrow._first_c
719
                                 Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_m
720
                                 Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_m
721
                                 Mode_logic_RUNNING_node.ni_7._arrow._first_m)
722
))
723

    
724
(rule (=> 
725
  (and (= Mode_logic_RUNNING_node.ni_7._arrow._first_m Mode_logic_RUNNING_node.ni_7._arrow._first_c)
726
       (and (= Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_65 (ite Mode_logic_RUNNING_node.ni_7._arrow._first_m true false))
727
            (= Mode_logic_RUNNING_node.ni_7._arrow._first_x false))
728
       (and (or (not (= Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_65 false))
729
               (and (= Mode_logic_RUNNING_node.mode_logic_running__state_in Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_c)
730
                    (= Mode_logic_RUNNING_node.mode_logic_running__restart_in Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_c)
731
                    ))
732
            (or (not (= Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_65 true))
733
               (and (= Mode_logic_RUNNING_node.mode_logic_running__state_in POINTMode_logic_RUNNING)
734
                    (= Mode_logic_RUNNING_node.mode_logic_running__restart_in false)
735
                    ))
736
       )
737
       (and (or (not (= Mode_logic_RUNNING_node.mode_logic_running__state_in POINTMode_logic_RUNNING))
738
               (and (mode_logic_running__POINTMode_logic_RUNNING_unless 
739
                    Mode_logic_RUNNING_node.mode_logic_running__restart_in
740
                    Mode_logic_RUNNING_node.mode_logic_running__state_in
741
                    Mode_logic_RUNNING_node.idMode_logic_RUNNING_1
742
                    Mode_logic_RUNNING_node.door_closed
743
                    Mode_logic_RUNNING_node.steps_remaining_1
744
                    Mode_logic_RUNNING_node.clear
745
                    Mode_logic_RUNNING_node.start
746
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_15
747
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_16)
748
                    (= Mode_logic_RUNNING_node.mode_logic_running__state_act Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_16)
749
                    (= Mode_logic_RUNNING_node.mode_logic_running__restart_act Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_15)
750
                    ))
751
            (or (not (= Mode_logic_RUNNING_node.mode_logic_running__state_in POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1))
752
               (and (mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_unless 
753
                    Mode_logic_RUNNING_node.mode_logic_running__restart_in
754
                    Mode_logic_RUNNING_node.mode_logic_running__state_in
755
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_13
756
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_14)
757
                    (= Mode_logic_RUNNING_node.mode_logic_running__state_act Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_14)
758
                    (= Mode_logic_RUNNING_node.mode_logic_running__restart_act Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_13)
759
                    ))
760
            (or (not (= Mode_logic_RUNNING_node.mode_logic_running__state_in RUNNING_COOKING_IDL))
761
               (and (mode_logic_running__RUNNING_COOKING_IDL_unless Mode_logic_RUNNING_node.mode_logic_running__restart_in
762
                                                                    Mode_logic_RUNNING_node.mode_logic_running__state_in
763
                                                                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_3
764
                                                                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_4)
765
                    (= Mode_logic_RUNNING_node.mode_logic_running__state_act Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_4)
766
                    (= Mode_logic_RUNNING_node.mode_logic_running__restart_act Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_3)
767
                    ))
768
            (or (not (= Mode_logic_RUNNING_node.mode_logic_running__state_in RUNNING_COOKING__TO__RUNNING_COOKING_1))
769
               (and (mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_unless 
770
                    Mode_logic_RUNNING_node.mode_logic_running__restart_in
771
                    Mode_logic_RUNNING_node.mode_logic_running__state_in
772
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_11
773
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_12)
774
                    (= Mode_logic_RUNNING_node.mode_logic_running__state_act Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_12)
775
                    (= Mode_logic_RUNNING_node.mode_logic_running__restart_act Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_11)
776
                    ))
777
            (or (not (= Mode_logic_RUNNING_node.mode_logic_running__state_in RUNNING_COOKING__TO__RUNNING_SUSPENDED_2))
778
               (and (mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_unless 
779
                    Mode_logic_RUNNING_node.mode_logic_running__restart_in
780
                    Mode_logic_RUNNING_node.mode_logic_running__state_in
781
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_9
782
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_10)
783
                    (= Mode_logic_RUNNING_node.mode_logic_running__state_act Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_10)
784
                    (= Mode_logic_RUNNING_node.mode_logic_running__restart_act Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_9)
785
                    ))
786
            (or (not (= Mode_logic_RUNNING_node.mode_logic_running__state_in RUNNING_SUSPENDED_IDL))
787
               (and (mode_logic_running__RUNNING_SUSPENDED_IDL_unless 
788
                    Mode_logic_RUNNING_node.mode_logic_running__restart_in
789
                    Mode_logic_RUNNING_node.mode_logic_running__state_in
790
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_1
791
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_2)
792
                    (= Mode_logic_RUNNING_node.mode_logic_running__state_act Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_2)
793
                    (= Mode_logic_RUNNING_node.mode_logic_running__restart_act Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_1)
794
                    ))
795
            (or (not (= Mode_logic_RUNNING_node.mode_logic_running__state_in RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1))
796
               (and (mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless 
797
                    Mode_logic_RUNNING_node.mode_logic_running__restart_in
798
                    Mode_logic_RUNNING_node.mode_logic_running__state_in
799
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_7
800
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_8)
801
                    (= Mode_logic_RUNNING_node.mode_logic_running__state_act Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_8)
802
                    (= Mode_logic_RUNNING_node.mode_logic_running__restart_act Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_7)
803
                    ))
804
            (or (not (= Mode_logic_RUNNING_node.mode_logic_running__state_in RUNNING_SUSPENDED__TO__RUNNING_COOKING_2))
805
               (and (mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_unless 
806
                    Mode_logic_RUNNING_node.mode_logic_running__restart_in
807
                    Mode_logic_RUNNING_node.mode_logic_running__state_in
808
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_5
809
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_6)
810
                    (= Mode_logic_RUNNING_node.mode_logic_running__state_act Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_6)
811
                    (= Mode_logic_RUNNING_node.mode_logic_running__restart_act Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_5)
812
                    ))
813
       )
814
       (and (or (not (= Mode_logic_RUNNING_node.mode_logic_running__state_act POINTMode_logic_RUNNING))
815
               (and (mode_logic_running__POINTMode_logic_RUNNING_handler_until 
816
                    Mode_logic_RUNNING_node.idMode_logic_RUNNING_1
817
                    Mode_logic_RUNNING_node.mode_1
818
                    Mode_logic_RUNNING_node.steps_remaining_1
819
                    Mode_logic_RUNNING_node.idMode_logic_Mode_logic_1
820
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_59
821
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_60
822
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_61
823
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_62
824
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_63
825
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_64)
826
                    (= Mode_logic_RUNNING_node.steps_remaining Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_64)
827
                    (= Mode_logic_RUNNING_node.mode_logic_running__next_state_in Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_60)
828
                    (= Mode_logic_RUNNING_node.mode_logic_running__next_restart_in Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_59)
829
                    (= Mode_logic_RUNNING_node.mode Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_63)
830
                    (= Mode_logic_RUNNING_node.idMode_logic_RUNNING Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_62)
831
                    (= Mode_logic_RUNNING_node.idMode_logic_Mode_logic Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_61)
832
                    ))
833
            (or (not (= Mode_logic_RUNNING_node.mode_logic_running__state_act POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1))
834
               (and (mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until 
835
                    Mode_logic_RUNNING_node.idMode_logic_RUNNING_1
836
                    Mode_logic_RUNNING_node.door_closed
837
                    Mode_logic_RUNNING_node.mode_1
838
                    Mode_logic_RUNNING_node.steps_remaining_1
839
                    Mode_logic_RUNNING_node.idMode_logic_Mode_logic_1
840
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_53
841
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_54
842
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_55
843
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_56
844
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_57
845
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_58)
846
                    (= Mode_logic_RUNNING_node.steps_remaining Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_58)
847
                    (= Mode_logic_RUNNING_node.mode_logic_running__next_state_in Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_54)
848
                    (= Mode_logic_RUNNING_node.mode_logic_running__next_restart_in Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_53)
849
                    (= Mode_logic_RUNNING_node.mode Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_57)
850
                    (= Mode_logic_RUNNING_node.idMode_logic_RUNNING Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_56)
851
                    (= Mode_logic_RUNNING_node.idMode_logic_Mode_logic Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_55)
852
                    ))
853
            (or (not (= Mode_logic_RUNNING_node.mode_logic_running__state_act RUNNING_COOKING_IDL))
854
               (and (mode_logic_running__RUNNING_COOKING_IDL_handler_until 
855
                    Mode_logic_RUNNING_node.idMode_logic_RUNNING_1
856
                    Mode_logic_RUNNING_node.mode_1
857
                    Mode_logic_RUNNING_node.steps_remaining_1
858
                    Mode_logic_RUNNING_node.idMode_logic_Mode_logic_1
859
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_23
860
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_24
861
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_25
862
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_26
863
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_27
864
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_28)
865
                    (= Mode_logic_RUNNING_node.steps_remaining Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_28)
866
                    (= Mode_logic_RUNNING_node.mode_logic_running__next_state_in Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_24)
867
                    (= Mode_logic_RUNNING_node.mode_logic_running__next_restart_in Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_23)
868
                    (= Mode_logic_RUNNING_node.mode Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_27)
869
                    (= Mode_logic_RUNNING_node.idMode_logic_RUNNING Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_26)
870
                    (= Mode_logic_RUNNING_node.idMode_logic_Mode_logic Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_25)
871
                    ))
872
            (or (not (= Mode_logic_RUNNING_node.mode_logic_running__state_act RUNNING_COOKING__TO__RUNNING_COOKING_1))
873
               (and (mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until 
874
                    Mode_logic_RUNNING_node.idMode_logic_RUNNING_1
875
                    Mode_logic_RUNNING_node.mode_1
876
                    Mode_logic_RUNNING_node.steps_remaining_1
877
                    Mode_logic_RUNNING_node.idMode_logic_Mode_logic_1
878
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_47
879
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_48
880
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_49
881
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_50
882
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_51
883
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_52)
884
                    (= Mode_logic_RUNNING_node.steps_remaining Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_52)
885
                    (= Mode_logic_RUNNING_node.mode_logic_running__next_state_in Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_48)
886
                    (= Mode_logic_RUNNING_node.mode_logic_running__next_restart_in Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_47)
887
                    (= Mode_logic_RUNNING_node.mode Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_51)
888
                    (= Mode_logic_RUNNING_node.idMode_logic_RUNNING Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_50)
889
                    (= Mode_logic_RUNNING_node.idMode_logic_Mode_logic Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_49)
890
                    ))
891
            (or (not (= Mode_logic_RUNNING_node.mode_logic_running__state_act RUNNING_COOKING__TO__RUNNING_SUSPENDED_2))
892
               (and (mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until 
893
                    Mode_logic_RUNNING_node.idMode_logic_RUNNING_1
894
                    Mode_logic_RUNNING_node.mode_1
895
                    Mode_logic_RUNNING_node.steps_remaining_1
896
                    Mode_logic_RUNNING_node.idMode_logic_Mode_logic_1
897
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_41
898
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_42
899
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_43
900
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_44
901
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_45
902
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_46)
903
                    (= Mode_logic_RUNNING_node.steps_remaining Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_46)
904
                    (= Mode_logic_RUNNING_node.mode_logic_running__next_state_in Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_42)
905
                    (= Mode_logic_RUNNING_node.mode_logic_running__next_restart_in Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_41)
906
                    (= Mode_logic_RUNNING_node.mode Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_45)
907
                    (= Mode_logic_RUNNING_node.idMode_logic_RUNNING Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_44)
908
                    (= Mode_logic_RUNNING_node.idMode_logic_Mode_logic Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_43)
909
                    ))
910
            (or (not (= Mode_logic_RUNNING_node.mode_logic_running__state_act RUNNING_SUSPENDED_IDL))
911
               (and (mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until 
912
                    Mode_logic_RUNNING_node.idMode_logic_RUNNING_1
913
                    Mode_logic_RUNNING_node.mode_1
914
                    Mode_logic_RUNNING_node.steps_remaining_1
915
                    Mode_logic_RUNNING_node.idMode_logic_Mode_logic_1
916
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_17
917
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_18
918
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_19
919
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_20
920
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_21
921
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_22)
922
                    (= Mode_logic_RUNNING_node.steps_remaining Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_22)
923
                    (= Mode_logic_RUNNING_node.mode_logic_running__next_state_in Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_18)
924
                    (= Mode_logic_RUNNING_node.mode_logic_running__next_restart_in Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_17)
925
                    (= Mode_logic_RUNNING_node.mode Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_21)
926
                    (= Mode_logic_RUNNING_node.idMode_logic_RUNNING Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_20)
927
                    (= Mode_logic_RUNNING_node.idMode_logic_Mode_logic Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_19)
928
                    ))
929
            (or (not (= Mode_logic_RUNNING_node.mode_logic_running__state_act RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1))
930
               (and (mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until 
931
                    Mode_logic_RUNNING_node.idMode_logic_RUNNING_1
932
                    Mode_logic_RUNNING_node.mode_1
933
                    Mode_logic_RUNNING_node.steps_remaining_1
934
                    Mode_logic_RUNNING_node.idMode_logic_Mode_logic_1
935
                    Mode_logic_RUNNING_node.steps_to_cook
936
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_35
937
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_36
938
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_37
939
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_38
940
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_39
941
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_40)
942
                    (= Mode_logic_RUNNING_node.steps_remaining Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_40)
943
                    (= Mode_logic_RUNNING_node.mode_logic_running__next_state_in Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_36)
944
                    (= Mode_logic_RUNNING_node.mode_logic_running__next_restart_in Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_35)
945
                    (= Mode_logic_RUNNING_node.mode Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_39)
946
                    (= Mode_logic_RUNNING_node.idMode_logic_RUNNING Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_38)
947
                    (= Mode_logic_RUNNING_node.idMode_logic_Mode_logic Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_37)
948
                    ))
949
            (or (not (= Mode_logic_RUNNING_node.mode_logic_running__state_act RUNNING_SUSPENDED__TO__RUNNING_COOKING_2))
950
               (and (mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until 
951
                    Mode_logic_RUNNING_node.idMode_logic_RUNNING_1
952
                    Mode_logic_RUNNING_node.mode_1
953
                    Mode_logic_RUNNING_node.steps_remaining_1
954
                    Mode_logic_RUNNING_node.idMode_logic_Mode_logic_1
955
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_29
956
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_30
957
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_31
958
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_32
959
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_33
960
                    Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_34)
961
                    (= Mode_logic_RUNNING_node.steps_remaining Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_34)
962
                    (= Mode_logic_RUNNING_node.mode_logic_running__next_state_in Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_30)
963
                    (= Mode_logic_RUNNING_node.mode_logic_running__next_restart_in Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_29)
964
                    (= Mode_logic_RUNNING_node.mode Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_33)
965
                    (= Mode_logic_RUNNING_node.idMode_logic_RUNNING Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_32)
966
                    (= Mode_logic_RUNNING_node.idMode_logic_Mode_logic Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_31)
967
                    ))
968
       )
969
       (= Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_x Mode_logic_RUNNING_node.mode_logic_running__next_state_in)
970
       (= Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_x Mode_logic_RUNNING_node.mode_logic_running__next_restart_in)
971
       )
972
  (Mode_logic_RUNNING_node_step Mode_logic_RUNNING_node.idMode_logic_RUNNING_1
973
                                Mode_logic_RUNNING_node.door_closed
974
                                Mode_logic_RUNNING_node.mode_1
975
                                Mode_logic_RUNNING_node.steps_remaining_1
976
                                Mode_logic_RUNNING_node.clear
977
                                Mode_logic_RUNNING_node.idMode_logic_Mode_logic_1
978
                                Mode_logic_RUNNING_node.steps_to_cook
979
                                Mode_logic_RUNNING_node.start
980
                                Mode_logic_RUNNING_node.idMode_logic_RUNNING
981
                                Mode_logic_RUNNING_node.mode
982
                                Mode_logic_RUNNING_node.steps_remaining
983
                                Mode_logic_RUNNING_node.idMode_logic_Mode_logic
984
                                Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_c
985
                                Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_c
986
                                Mode_logic_RUNNING_node.ni_7._arrow._first_c
987
                                Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_x
988
                                Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_x
989
                                Mode_logic_RUNNING_node.ni_7._arrow._first_x)
990
))
991

    
992
; Mode_logic_RUNNING_en
993
(declare-var Mode_logic_RUNNING_en.idMode_logic_RUNNING_1 Int)
994
(declare-var Mode_logic_RUNNING_en.idMode_logic_Mode_logic_1 Int)
995
(declare-var Mode_logic_RUNNING_en.door_closed Bool)
996
(declare-var Mode_logic_RUNNING_en.mode_1 Int)
997
(declare-var Mode_logic_RUNNING_en.isInner Bool)
998
(declare-var Mode_logic_RUNNING_en.idMode_logic_RUNNING Int)
999
(declare-var Mode_logic_RUNNING_en.idMode_logic_Mode_logic Int)
1000
(declare-var Mode_logic_RUNNING_en.mode Int)
1001
(declare-var Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_1 Bool)
1002
(declare-var Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_2 Bool)
1003
(declare-var Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_3 Bool)
1004
(declare-var Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_4 Int)
1005
(declare-var Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_5 Int)
1006
(declare-var Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_6 Int)
1007
(declare-var Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_7 Int)
1008
(declare-var Mode_logic_RUNNING_en.idMode_logic_Mode_logic_3 Int)
1009
(declare-var Mode_logic_RUNNING_en.idMode_logic_Mode_logic_4 Int)
1010
(declare-var Mode_logic_RUNNING_en.idMode_logic_RUNNING_2 Int)
1011
(declare-var Mode_logic_RUNNING_en.idMode_logic_RUNNING_3 Int)
1012
(declare-var Mode_logic_RUNNING_en.idMode_logic_RUNNING_4 Int)
1013
(declare-var Mode_logic_RUNNING_en.idMode_logic_RUNNING_5 Int)
1014
(declare-var Mode_logic_RUNNING_en.idMode_logic_RUNNING_6 Int)
1015
(declare-var Mode_logic_RUNNING_en.idMode_logic_RUNNING_7 Int)
1016
(declare-var Mode_logic_RUNNING_en.mode_2 Int)
1017
(declare-var Mode_logic_RUNNING_en.mode_3 Int)
1018
(declare-var Mode_logic_RUNNING_en.mode_4 Int)
1019
(declare-var Mode_logic_RUNNING_en.mode_5 Int)
1020
(declare-var Mode_logic_RUNNING_en.mode_6 Int)
1021
(declare-var Mode_logic_RUNNING_en.mode_7 Int)
1022
(declare-rel Mode_logic_RUNNING_en (Int Int Bool Int Bool Int Int Int))
1023
(rule (=> 
1024
  (and (RUNNING_SUSPENDED_en Mode_logic_RUNNING_en.idMode_logic_RUNNING_1
1025
                             Mode_logic_RUNNING_en.mode_1
1026
                             false
1027
                             Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_4
1028
                             Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_5)
1029
       (= Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_3 (= Mode_logic_RUNNING_en.idMode_logic_RUNNING_1 1333))
1030
       (and (or (not (= Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_3 false))
1031
               (and (= Mode_logic_RUNNING_en.mode_6 Mode_logic_RUNNING_en.mode_1)
1032
                    (= Mode_logic_RUNNING_en.idMode_logic_RUNNING_6 Mode_logic_RUNNING_en.idMode_logic_RUNNING_1)
1033
                    ))
1034
            (or (not (= Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_3 true))
1035
               (and (= Mode_logic_RUNNING_en.mode_6 Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_5)
1036
                    (= Mode_logic_RUNNING_en.idMode_logic_RUNNING_6 Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_4)
1037
                    ))
1038
       )
1039
       (RUNNING_COOKING_en Mode_logic_RUNNING_en.idMode_logic_RUNNING_1
1040
                           Mode_logic_RUNNING_en.mode_1
1041
                           false
1042
                           Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_6
1043
                           Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_7)
1044
       (= Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_2 (= Mode_logic_RUNNING_en.idMode_logic_RUNNING_1 1332))
1045
       (and (or (not (= Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_2 false))
1046
               (and (= Mode_logic_RUNNING_en.mode_5 Mode_logic_RUNNING_en.mode_1)
1047
                    (= Mode_logic_RUNNING_en.idMode_logic_RUNNING_5 Mode_logic_RUNNING_en.idMode_logic_RUNNING_1)
1048
                    ))
1049
            (or (not (= Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_2 true))
1050
               (and (= Mode_logic_RUNNING_en.mode_5 Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_7)
1051
                    (= Mode_logic_RUNNING_en.idMode_logic_RUNNING_5 Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_6)
1052
                    ))
1053
       )
1054
       (RUNNING_SUSPENDED_en Mode_logic_RUNNING_en.idMode_logic_RUNNING_1
1055
                             Mode_logic_RUNNING_en.mode_1
1056
                             false
1057
                             Mode_logic_RUNNING_en.idMode_logic_RUNNING_3
1058
                             Mode_logic_RUNNING_en.mode_3)
1059
       (and (or (not (= Mode_logic_RUNNING_en.door_closed false))
1060
               (and (= Mode_logic_RUNNING_en.mode_2 Mode_logic_RUNNING_en.mode_1)
1061
                    (= Mode_logic_RUNNING_en.idMode_logic_RUNNING_2 Mode_logic_RUNNING_en.idMode_logic_RUNNING_1)
1062
                    ))
1063
            (or (not (= Mode_logic_RUNNING_en.door_closed true))
1064
               (and (= Mode_logic_RUNNING_en.mode_2 Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_7)
1065
                    (= Mode_logic_RUNNING_en.idMode_logic_RUNNING_2 Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_6)
1066
                    ))
1067
       )
1068
       (= Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_1 (= Mode_logic_RUNNING_en.idMode_logic_RUNNING_1 0))
1069
       (and (or (not (= Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_1 false))
1070
               (and (= Mode_logic_RUNNING_en.mode_4 Mode_logic_RUNNING_en.mode_1)
1071
                    (= Mode_logic_RUNNING_en.idMode_logic_RUNNING_4 Mode_logic_RUNNING_en.idMode_logic_RUNNING_1)
1072
                    (= Mode_logic_RUNNING_en.idMode_logic_Mode_logic_3 1334)
1073
                    (and (or (not (= Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_2 false))
1074
                            (and (or (not (= Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_3 false))
1075
                                    (and (= Mode_logic_RUNNING_en.mode_7 Mode_logic_RUNNING_en.mode_1)
1076
                                         (= Mode_logic_RUNNING_en.idMode_logic_RUNNING_7 Mode_logic_RUNNING_en.idMode_logic_RUNNING_1)
1077
                                         (= Mode_logic_RUNNING_en.idMode_logic_Mode_logic_4 1334)
1078
                                         ))
1079
                                 (or (not (= Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_3 true))
1080
                                    (and (= Mode_logic_RUNNING_en.mode_7 Mode_logic_RUNNING_en.mode_6)
1081
                                         (= Mode_logic_RUNNING_en.idMode_logic_RUNNING_7 Mode_logic_RUNNING_en.idMode_logic_RUNNING_6)
1082
                                         (= Mode_logic_RUNNING_en.idMode_logic_Mode_logic_4 Mode_logic_RUNNING_en.idMode_logic_Mode_logic_3)
1083
                                         ))
1084
                            ))
1085
                         (or (not (= Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_2 true))
1086
                            (and (= Mode_logic_RUNNING_en.mode_7 Mode_logic_RUNNING_en.mode_5)
1087
                                 (= Mode_logic_RUNNING_en.idMode_logic_RUNNING_7 Mode_logic_RUNNING_en.idMode_logic_RUNNING_5)
1088
                                 (= Mode_logic_RUNNING_en.idMode_logic_Mode_logic_4 Mode_logic_RUNNING_en.idMode_logic_Mode_logic_3)
1089
                                 ))
1090
                    )
1091
                    ))
1092
            (or (not (= Mode_logic_RUNNING_en.__Mode_logic_RUNNING_en_1 true))
1093
               (and (and (or (not (= Mode_logic_RUNNING_en.door_closed false))
1094
                            (and (= Mode_logic_RUNNING_en.mode_4 Mode_logic_RUNNING_en.mode_3)
1095
                                 (= Mode_logic_RUNNING_en.idMode_logic_RUNNING_4 Mode_logic_RUNNING_en.idMode_logic_RUNNING_3)
1096
                                 (= Mode_logic_RUNNING_en.idMode_logic_Mode_logic_3 1334)
1097
                                 ))
1098
                         (or (not (= Mode_logic_RUNNING_en.door_closed true))
1099
                            (and (= Mode_logic_RUNNING_en.mode_4 Mode_logic_RUNNING_en.mode_2)
1100
                                 (= Mode_logic_RUNNING_en.idMode_logic_RUNNING_4 Mode_logic_RUNNING_en.idMode_logic_RUNNING_2)
1101
                                 (= Mode_logic_RUNNING_en.idMode_logic_Mode_logic_3 1334)
1102
                                 ))
1103
                    )
1104
                    (= Mode_logic_RUNNING_en.mode_7 Mode_logic_RUNNING_en.mode_4)
1105
                    (= Mode_logic_RUNNING_en.idMode_logic_RUNNING_7 Mode_logic_RUNNING_en.idMode_logic_RUNNING_4)
1106
                    (= Mode_logic_RUNNING_en.idMode_logic_Mode_logic_4 Mode_logic_RUNNING_en.idMode_logic_Mode_logic_3)
1107
                    ))
1108
       )
1109
       (= Mode_logic_RUNNING_en.mode Mode_logic_RUNNING_en.mode_7)
1110
       (= Mode_logic_RUNNING_en.idMode_logic_RUNNING Mode_logic_RUNNING_en.idMode_logic_RUNNING_7)
1111
       (= Mode_logic_RUNNING_en.idMode_logic_Mode_logic Mode_logic_RUNNING_en.idMode_logic_Mode_logic_4)
1112
       )
1113
  (Mode_logic_RUNNING_en Mode_logic_RUNNING_en.idMode_logic_RUNNING_1 Mode_logic_RUNNING_en.idMode_logic_Mode_logic_1 Mode_logic_RUNNING_en.door_closed Mode_logic_RUNNING_en.mode_1 Mode_logic_RUNNING_en.isInner Mode_logic_RUNNING_en.idMode_logic_RUNNING Mode_logic_RUNNING_en.idMode_logic_Mode_logic Mode_logic_RUNNING_en.mode)
1114
))
1115

    
1116
; Mode_logic_SETUP__To__Mode_logic_Mode_logicJunction1348_1_Condition_Action
1117
(declare-var Mode_logic_SETUP__To__Mode_logic_Mode_logicJunction1348_1_Condition_Action.steps_to_cook Int)
1118
(declare-var Mode_logic_SETUP__To__Mode_logic_Mode_logicJunction1348_1_Condition_Action.steps_remaining_1 Int)
1119
(declare-var Mode_logic_SETUP__To__Mode_logic_Mode_logicJunction1348_1_Condition_Action.steps_remaining Int)
1120
(declare-rel Mode_logic_SETUP__To__Mode_logic_Mode_logicJunction1348_1_Condition_Action (Int Int Int))
1121
(rule (=> 
1122
  (= Mode_logic_SETUP__To__Mode_logic_Mode_logicJunction1348_1_Condition_Action.steps_remaining Mode_logic_SETUP__To__Mode_logic_Mode_logicJunction1348_1_Condition_Action.steps_to_cook)
1123
  (Mode_logic_SETUP__To__Mode_logic_Mode_logicJunction1348_1_Condition_Action Mode_logic_SETUP__To__Mode_logic_Mode_logicJunction1348_1_Condition_Action.steps_to_cook Mode_logic_SETUP__To__Mode_logic_Mode_logicJunction1348_1_Condition_Action.steps_remaining_1 Mode_logic_SETUP__To__Mode_logic_Mode_logicJunction1348_1_Condition_Action.steps_remaining)
1124
))
1125

    
1126
; Mode_logic_SETUP_ex
1127
(declare-var Mode_logic_SETUP_ex.idMode_logic_Mode_logic_1 Int)
1128
(declare-var Mode_logic_SETUP_ex.isInner Bool)
1129
(declare-var Mode_logic_SETUP_ex.idMode_logic_Mode_logic Int)
1130
(declare-var Mode_logic_SETUP_ex.idMode_logic_Mode_logic_2 Int)
1131
(declare-rel Mode_logic_SETUP_ex (Int Bool Int))
1132
(rule (=> 
1133
  (and (and (or (not (= (not Mode_logic_SETUP_ex.isInner) true))
1134
               (= Mode_logic_SETUP_ex.idMode_logic_Mode_logic_2 0))
1135
            (or (not (= (not Mode_logic_SETUP_ex.isInner) false))
1136
               (= Mode_logic_SETUP_ex.idMode_logic_Mode_logic_2 Mode_logic_SETUP_ex.idMode_logic_Mode_logic_1))
1137
       )
1138
       (= Mode_logic_SETUP_ex.idMode_logic_Mode_logic Mode_logic_SETUP_ex.idMode_logic_Mode_logic_1)
1139
       )
1140
  (Mode_logic_SETUP_ex Mode_logic_SETUP_ex.idMode_logic_Mode_logic_1 Mode_logic_SETUP_ex.isInner Mode_logic_SETUP_ex.idMode_logic_Mode_logic)
1141
))
1142

    
1143
; mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until
1144
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.idMode_logic_Mode_logic_1 Int)
1145
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.mode_1 Int)
1146
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.steps_remaining_1 Int)
1147
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.steps_to_cook Int)
1148
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.start Bool)
1149
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.door_closed Bool)
1150
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.idMode_logic_RUNNING_1 Int)
1151
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.clear Bool)
1152
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.mode_logic_mode_logic__restart_in Bool)
1153
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.mode_logic_mode_logic__state_in mode_logic_mode_logic__type)
1154
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.idMode_logic_Mode_logic_out Int)
1155
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.idMode_logic_RUNNING_out Int)
1156
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.mode_out Int)
1157
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.steps_remaining_out Int)
1158
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_c Bool)
1159
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_c mode_logic_running__type)
1160
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_c Bool)
1161
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_m Bool)
1162
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_m mode_logic_running__type)
1163
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_m Bool)
1164
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_x Bool)
1165
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_x mode_logic_running__type)
1166
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_x Bool)
1167
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.idMode_logic_Mode_logic_2 Int)
1168
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.idMode_logic_RUNNING_2 Int)
1169
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.mode_2 Int)
1170
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.steps_remaining_2 Int)
1171
(declare-rel mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until_reset (Bool mode_logic_running__type Bool Bool mode_logic_running__type Bool))
1172
(declare-rel mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until_step (Int Int Int Int Bool Bool Int Bool Bool mode_logic_mode_logic__type Int Int Int Int Bool mode_logic_running__type Bool Bool mode_logic_running__type Bool))
1173

    
1174
(rule (=> 
1175
  (and 
1176
       
1177
       (Mode_logic_RUNNING_node_reset mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_c
1178
                                      mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_c
1179
                                      mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_c
1180
                                      mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_m
1181
                                      mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_m
1182
                                      mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_m)
1183
  )
1184
  (mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until_reset 
1185
  mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_c
1186
  mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_c
1187
  mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_c
1188
  mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_m
1189
  mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_m
1190
  mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_m)
1191
))
1192

    
1193
(rule (=> 
1194
  (and (and (= mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_m mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_c)
1195
            (= mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_m mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_c)
1196
            (= mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_m mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_c)
1197
            )
1198
       (Mode_logic_RUNNING_node_step mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.idMode_logic_RUNNING_1
1199
                                     mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.door_closed
1200
                                     mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.mode_1
1201
                                     mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.steps_remaining_1
1202
                                     mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.clear
1203
                                     mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.idMode_logic_Mode_logic_1
1204
                                     mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.steps_to_cook
1205
                                     mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.start
1206
                                     mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.idMode_logic_RUNNING_2
1207
                                     mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.mode_2
1208
                                     mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.steps_remaining_2
1209
                                     mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.idMode_logic_Mode_logic_2
1210
                                     mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_m
1211
                                     mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_m
1212
                                     mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_m
1213
                                     mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_x
1214
                                     mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_x
1215
                                     mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_x)
1216
       (= mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.steps_remaining_out mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.steps_remaining_2)
1217
       (= mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.mode_out mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.mode_2)
1218
       (= mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.mode_logic_mode_logic__state_in POINTMode_logic_Mode_logic)
1219
       (= mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.mode_logic_mode_logic__restart_in true)
1220
       (= mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.idMode_logic_RUNNING_out mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.idMode_logic_RUNNING_2)
1221
       (= mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.idMode_logic_Mode_logic_out mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.idMode_logic_Mode_logic_2)
1222
       )
1223
  (mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until_step mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.idMode_logic_Mode_logic_1
1224
                                                                    mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.mode_1
1225
                                                                    mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.steps_remaining_1
1226
                                                                    mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.steps_to_cook
1227
                                                                    mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.start
1228
                                                                    mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.door_closed
1229
                                                                    mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.idMode_logic_RUNNING_1
1230
                                                                    mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.clear
1231
                                                                    mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.mode_logic_mode_logic__restart_in
1232
                                                                    mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.mode_logic_mode_logic__state_in
1233
                                                                    mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.idMode_logic_Mode_logic_out
1234
                                                                    mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.idMode_logic_RUNNING_out
1235
                                                                    mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.mode_out
1236
                                                                    mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.steps_remaining_out
1237
                                                                    mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_c
1238
                                                                    mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_c
1239
                                                                    mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_c
1240
                                                                    mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_x
1241
                                                                    mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_x
1242
                                                                    mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_x)
1243
))
1244

    
1245
; mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_unless
1246
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_unless.mode_logic_mode_logic__restart_in Bool)
1247
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_unless.mode_logic_mode_logic__state_in mode_logic_mode_logic__type)
1248
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_unless.mode_logic_mode_logic__restart_act Bool)
1249
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_unless.mode_logic_mode_logic__state_act mode_logic_mode_logic__type)
1250
(declare-rel mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_unless (Bool mode_logic_mode_logic__type Bool mode_logic_mode_logic__type))
1251
(rule (=> 
1252
  (and (= mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_unless.mode_logic_mode_logic__state_act mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_unless.mode_logic_mode_logic__state_in)
1253
       (= mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_unless.mode_logic_mode_logic__restart_act mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_unless.mode_logic_mode_logic__restart_in)
1254
       )
1255
  (mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_unless mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_unless.mode_logic_mode_logic__restart_in mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_unless.mode_logic_mode_logic__state_in mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_unless.mode_logic_mode_logic__restart_act mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_unless.mode_logic_mode_logic__state_act)
1256
))
1257

    
1258
; mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until
1259
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_Mode_logic_1 Int)
1260
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_1 Int)
1261
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.steps_remaining_1 Int)
1262
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.steps_to_cook Int)
1263
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_RUNNING_1 Int)
1264
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_logic_mode_logic__restart_in Bool)
1265
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_logic_mode_logic__state_in mode_logic_mode_logic__type)
1266
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_Mode_logic_out Int)
1267
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_RUNNING_out Int)
1268
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_out Int)
1269
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.steps_remaining_out Int)
1270
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_Mode_logic_2 Int)
1271
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_Mode_logic_3 Int)
1272
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_RUNNING_2 Int)
1273
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_2 Int)
1274
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.steps_remaining_2 Int)
1275
(declare-rel mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until (Int Int Int Int Int Bool mode_logic_mode_logic__type Int Int Int Int))
1276
(rule (=> 
1277
  (and (Mode_logic_RUNNING_ex mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_RUNNING_1
1278
                              mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_Mode_logic_1
1279
                              false
1280
                              mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_RUNNING_2
1281
                              mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_Mode_logic_2)
1282
       (Mode_logic_SETUP_en mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_Mode_logic_2
1283
                            mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_1
1284
                            mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.steps_to_cook
1285
                            mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.steps_remaining_1
1286
                            false
1287
                            mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_Mode_logic_3
1288
                            mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_2
1289
                            mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.steps_remaining_2)
1290
       (= mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.steps_remaining_out mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.steps_remaining_2)
1291
       (= mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_out mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_2)
1292
       (= mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_logic_mode_logic__state_in POINTMode_logic_Mode_logic)
1293
       (= mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_logic_mode_logic__restart_in true)
1294
       (= mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_RUNNING_out mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_RUNNING_2)
1295
       (= mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_Mode_logic_out mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_Mode_logic_3)
1296
       )
1297
  (mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_Mode_logic_1 mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_1 mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.steps_remaining_1 mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.steps_to_cook mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_RUNNING_1 mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_logic_mode_logic__restart_in mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_logic_mode_logic__state_in mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_Mode_logic_out mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.idMode_logic_RUNNING_out mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.mode_out mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until.steps_remaining_out)
1298
))
1299

    
1300
; mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless
1301
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless.mode_logic_mode_logic__restart_in Bool)
1302
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless.mode_logic_mode_logic__state_in mode_logic_mode_logic__type)
1303
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless.mode_logic_mode_logic__restart_act Bool)
1304
(declare-var mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless.mode_logic_mode_logic__state_act mode_logic_mode_logic__type)
1305
(declare-rel mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless (Bool mode_logic_mode_logic__type Bool mode_logic_mode_logic__type))
1306
(rule (=> 
1307
  (and (= mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless.mode_logic_mode_logic__state_act mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless.mode_logic_mode_logic__state_in)
1308
       (= mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless.mode_logic_mode_logic__restart_act mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless.mode_logic_mode_logic__restart_in)
1309
       )
1310
  (mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless.mode_logic_mode_logic__restart_in mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless.mode_logic_mode_logic__state_in mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless.mode_logic_mode_logic__restart_act mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless.mode_logic_mode_logic__state_act)
1311
))
1312

    
1313
; mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until
1314
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.idMode_logic_Mode_logic_1 Int)
1315
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.mode_1 Int)
1316
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.steps_remaining_1 Int)
1317
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.idMode_logic_RUNNING_1 Int)
1318
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.mode_logic_mode_logic__restart_in Bool)
1319
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.mode_logic_mode_logic__state_in mode_logic_mode_logic__type)
1320
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.idMode_logic_Mode_logic_out Int)
1321
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.idMode_logic_RUNNING_out Int)
1322
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.mode_out Int)
1323
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.steps_remaining_out Int)
1324
(declare-rel mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until (Int Int Int Int Bool mode_logic_mode_logic__type Int Int Int Int))
1325
(rule (=> 
1326
  (and (= mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.steps_remaining_out mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.steps_remaining_1)
1327
       (= mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.mode_out mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.mode_1)
1328
       (= mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.mode_logic_mode_logic__state_in POINTMode_logic_Mode_logic)
1329
       (= mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.mode_logic_mode_logic__restart_in true)
1330
       (= mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.idMode_logic_RUNNING_out mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.idMode_logic_RUNNING_1)
1331
       (= mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.idMode_logic_Mode_logic_out mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.idMode_logic_Mode_logic_1)
1332
       )
1333
  (mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.idMode_logic_Mode_logic_1 mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.mode_1 mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.steps_remaining_1 mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.idMode_logic_RUNNING_1 mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.mode_logic_mode_logic__restart_in mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.mode_logic_mode_logic__state_in mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.idMode_logic_Mode_logic_out mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.idMode_logic_RUNNING_out mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.mode_out mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until.steps_remaining_out)
1334
))
1335

    
1336
; mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_unless
1337
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_unless.mode_logic_mode_logic__restart_in Bool)
1338
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_unless.mode_logic_mode_logic__state_in mode_logic_mode_logic__type)
1339
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_unless.mode_logic_mode_logic__restart_act Bool)
1340
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_unless.mode_logic_mode_logic__state_act mode_logic_mode_logic__type)
1341
(declare-rel mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_unless (Bool mode_logic_mode_logic__type Bool mode_logic_mode_logic__type))
1342
(rule (=> 
1343
  (and (= mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_unless.mode_logic_mode_logic__state_act mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_unless.mode_logic_mode_logic__state_in)
1344
       (= mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_unless.mode_logic_mode_logic__restart_act mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_unless.mode_logic_mode_logic__restart_in)
1345
       )
1346
  (mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_unless mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_unless.mode_logic_mode_logic__restart_in mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_unless.mode_logic_mode_logic__state_in mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_unless.mode_logic_mode_logic__restart_act mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_unless.mode_logic_mode_logic__state_act)
1347
))
1348

    
1349
; mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until
1350
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_Mode_logic_1 Int)
1351
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.mode_1 Int)
1352
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.steps_remaining_1 Int)
1353
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.steps_to_cook Int)
1354
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.start Bool)
1355
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.door_closed Bool)
1356
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_RUNNING_1 Int)
1357
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.mode_logic_mode_logic__restart_in Bool)
1358
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.mode_logic_mode_logic__state_in mode_logic_mode_logic__type)
1359
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_Mode_logic_out Int)
1360
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_RUNNING_out Int)
1361
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.mode_out Int)
1362
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.steps_remaining_out Int)
1363
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.__mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until_1 Bool)
1364
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.__mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until_2 Int)
1365
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.__mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until_3 Int)
1366
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.__mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until_4 Int)
1367
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.__mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until_5 Int)
1368
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_Mode_logic Int)
1369
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_Mode_logic_2 Int)
1370
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_Mode_logic_3 Int)
1371
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_RUNNING Int)
1372
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_RUNNING_2 Int)
1373
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.mode Int)
1374
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.mode_2 Int)
1375
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.steps_remaining Int)
1376
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.steps_remaining_2 Int)
1377
(declare-rel mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until (Int Int Int Int Bool Bool Int Bool mode_logic_mode_logic__type Int Int Int Int))
1378
(rule (=> 
1379
  (and (Mode_logic_SETUP__To__Mode_logic_Mode_logicJunction1348_1_Condition_Action 
1380
       mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.steps_to_cook
1381
       mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.steps_remaining_1
1382
       mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.steps_remaining_2)
1383
       (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.__mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until_1 (and mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.start (> mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.steps_remaining_2 0)))
1384
       (and (or (not (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.__mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until_1 true))
1385
               (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.steps_remaining mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.steps_remaining_2))
1386
            (or (not (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.__mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until_1 false))
1387
               (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.steps_remaining mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.steps_remaining_2))
1388
       )
1389
       (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.steps_remaining_out mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.steps_remaining)
1390
       (Mode_logic_SETUP_ex mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_Mode_logic_1
1391
                            false
1392
                            mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.__mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until_5)
1393
       (and (or (not (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.__mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until_1 true))
1394
               (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_Mode_logic_2 mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.__mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until_5))
1395
            (or (not (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.__mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until_1 false))
1396
               (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_Mode_logic_2 mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_Mode_logic_1))
1397
       )
1398
       (Mode_logic_RUNNING_en mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_RUNNING_1
1399
                              mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_Mode_logic_2
1400
                              mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.door_closed
1401
                              mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.mode_1
1402
                              false
1403
                              mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.__mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until_2
1404
                              mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.__mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until_3
1405
                              mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.__mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until_4)
1406
       (and (or (not (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.__mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until_1 false))
1407
               (and (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.mode_2 mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.mode_1)
1408
                    (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.mode mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.mode_1)
1409
                    ))
1410
            (or (not (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.__mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until_1 true))
1411
               (and (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.mode_2 mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.__mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until_4)
1412
                    (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.mode mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.mode_2)
1413
                    ))
1414
       )
1415
       (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.mode_out mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.mode)
1416
       (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.mode_logic_mode_logic__state_in POINTMode_logic_Mode_logic)
1417
       (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.mode_logic_mode_logic__restart_in true)
1418
       (and (or (not (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.__mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until_1 false))
1419
               (and (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_RUNNING_2 mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_RUNNING_1)
1420
                    (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_RUNNING mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_RUNNING_1)
1421
                    ))
1422
            (or (not (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.__mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until_1 true))
1423
               (and (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_RUNNING_2 mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.__mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until_2)
1424
                    (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_RUNNING mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_RUNNING_2)
1425
                    ))
1426
       )
1427
       (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_RUNNING_out mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_RUNNING)
1428
       (and (or (not (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.__mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until_1 false))
1429
               (and (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_Mode_logic_3 mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_Mode_logic_2)
1430
                    (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_Mode_logic mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_Mode_logic_1)
1431
                    ))
1432
            (or (not (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.__mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until_1 true))
1433
               (and (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_Mode_logic_3 mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.__mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until_3)
1434
                    (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_Mode_logic mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_Mode_logic_3)
1435
                    ))
1436
       )
1437
       (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_Mode_logic_out mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_Mode_logic)
1438
       )
1439
  (mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_Mode_logic_1 mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.mode_1 mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.steps_remaining_1 mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.steps_to_cook mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.start mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.door_closed mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_RUNNING_1 mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.mode_logic_mode_logic__restart_in mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.mode_logic_mode_logic__state_in mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_Mode_logic_out mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.idMode_logic_RUNNING_out mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.mode_out mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until.steps_remaining_out)
1440
))
1441

    
1442
; mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_unless
1443
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_unless.mode_logic_mode_logic__restart_in Bool)
1444
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_unless.mode_logic_mode_logic__state_in mode_logic_mode_logic__type)
1445
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_unless.mode_logic_mode_logic__restart_act Bool)
1446
(declare-var mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_unless.mode_logic_mode_logic__state_act mode_logic_mode_logic__type)
1447
(declare-rel mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_unless (Bool mode_logic_mode_logic__type Bool mode_logic_mode_logic__type))
1448
(rule (=> 
1449
  (and (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_unless.mode_logic_mode_logic__state_act mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_unless.mode_logic_mode_logic__state_in)
1450
       (= mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_unless.mode_logic_mode_logic__restart_act mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_unless.mode_logic_mode_logic__restart_in)
1451
       )
1452
  (mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_unless mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_unless.mode_logic_mode_logic__restart_in mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_unless.mode_logic_mode_logic__state_in mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_unless.mode_logic_mode_logic__restart_act mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_unless.mode_logic_mode_logic__state_act)
1453
))
1454

    
1455
; mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until
1456
(declare-var mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.idMode_logic_Mode_logic_1 Int)
1457
(declare-var mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.mode_1 Int)
1458
(declare-var mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.steps_remaining_1 Int)
1459
(declare-var mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.idMode_logic_RUNNING_1 Int)
1460
(declare-var mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.mode_logic_mode_logic__restart_in Bool)
1461
(declare-var mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.mode_logic_mode_logic__state_in mode_logic_mode_logic__type)
1462
(declare-var mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.idMode_logic_Mode_logic_out Int)
1463
(declare-var mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.idMode_logic_RUNNING_out Int)
1464
(declare-var mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.mode_out Int)
1465
(declare-var mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.steps_remaining_out Int)
1466
(declare-rel mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until (Int Int Int Int Bool mode_logic_mode_logic__type Int Int Int Int))
1467
(rule (=> 
1468
  (and (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.steps_remaining_out mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.steps_remaining_1)
1469
       (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.mode_out mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.mode_1)
1470
       (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.mode_logic_mode_logic__state_in POINTMode_logic_Mode_logic)
1471
       (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.mode_logic_mode_logic__restart_in false)
1472
       (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.idMode_logic_RUNNING_out mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.idMode_logic_RUNNING_1)
1473
       (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.idMode_logic_Mode_logic_out mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.idMode_logic_Mode_logic_1)
1474
       )
1475
  (mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.idMode_logic_Mode_logic_1 mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.mode_1 mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.steps_remaining_1 mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.idMode_logic_RUNNING_1 mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.mode_logic_mode_logic__restart_in mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.mode_logic_mode_logic__state_in mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.idMode_logic_Mode_logic_out mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.idMode_logic_RUNNING_out mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.mode_out mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until.steps_remaining_out)
1476
))
1477

    
1478
; mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless
1479
(declare-var mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.mode_logic_mode_logic__restart_in Bool)
1480
(declare-var mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.mode_logic_mode_logic__state_in mode_logic_mode_logic__type)
1481
(declare-var mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.idMode_logic_Mode_logic_1 Int)
1482
(declare-var mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.steps_remaining_1 Int)
1483
(declare-var mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.mode_logic_mode_logic__restart_act Bool)
1484
(declare-var mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.mode_logic_mode_logic__state_act mode_logic_mode_logic__type)
1485
(declare-var mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.__mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless_1 Bool)
1486
(declare-var mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.__mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless_2 Bool)
1487
(declare-var mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.__mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless_3 Bool)
1488
(declare-var mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.__mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless_4 Bool)
1489
(declare-rel mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless (Bool mode_logic_mode_logic__type Int Int Bool mode_logic_mode_logic__type))
1490
(rule (=> 
1491
  (and (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.__mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless_4 (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.idMode_logic_Mode_logic_1 1334))
1492
       (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.__mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless_3 (and (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.idMode_logic_Mode_logic_1 1334) (<= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.steps_remaining_1 0)))
1493
       (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.__mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless_2 (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.idMode_logic_Mode_logic_1 1331))
1494
       (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.__mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless_1 (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.idMode_logic_Mode_logic_1 0))
1495
       (and (or (not (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.__mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless_1 false))
1496
               (and (or (not (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.__mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless_2 false))
1497
                       (and (or (not (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.__mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless_3 false))
1498
                               (and (or (not (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.__mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless_2 false))
1499
                                       (and (or (not (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.__mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless_4 false))
1500
                                               (and (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.mode_logic_mode_logic__state_act mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.mode_logic_mode_logic__state_in)
1501
                                                    (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.mode_logic_mode_logic__restart_act mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.mode_logic_mode_logic__restart_in)
1502
                                                    ))
1503
                                            (or (not (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.__mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless_4 true))
1504
                                               (and (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.mode_logic_mode_logic__state_act MODE_LOGIC_RUNNING_IDL)
1505
                                                    (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.mode_logic_mode_logic__restart_act true)
1506
                                                    ))
1507
                                       ))
1508
                                    (or (not (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.__mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless_2 true))
1509
                                       (and (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.mode_logic_mode_logic__state_act MODE_LOGIC_SETUP_IDL)
1510
                                            (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.mode_logic_mode_logic__restart_act true)
1511
                                            ))
1512
                               ))
1513
                            (or (not (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.__mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless_3 true))
1514
                               (and (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.mode_logic_mode_logic__state_act MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1)
1515
                                    (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.mode_logic_mode_logic__restart_act true)
1516
                                    ))
1517
                       ))
1518
                    (or (not (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.__mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless_2 true))
1519
                       (and (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.mode_logic_mode_logic__state_act MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1)
1520
                            (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.mode_logic_mode_logic__restart_act true)
1521
                            ))
1522
               ))
1523
            (or (not (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.__mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless_1 true))
1524
               (and (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.mode_logic_mode_logic__state_act POINT__TO__MODE_LOGIC_SETUP_1)
1525
                    (= mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.mode_logic_mode_logic__restart_act true)
1526
                    ))
1527
       )
1528
       )
1529
  (mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.mode_logic_mode_logic__restart_in mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.mode_logic_mode_logic__state_in mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.idMode_logic_Mode_logic_1 mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.steps_remaining_1 mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.mode_logic_mode_logic__restart_act mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless.mode_logic_mode_logic__state_act)
1530
))
1531

    
1532
; mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until
1533
(declare-var mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.idMode_logic_Mode_logic_1 Int)
1534
(declare-var mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.mode_1 Int)
1535
(declare-var mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.steps_remaining_1 Int)
1536
(declare-var mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.steps_to_cook Int)
1537
(declare-var mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.idMode_logic_RUNNING_1 Int)
1538
(declare-var mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.mode_logic_mode_logic__restart_in Bool)
1539
(declare-var mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.mode_logic_mode_logic__state_in mode_logic_mode_logic__type)
1540
(declare-var mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.idMode_logic_Mode_logic_out Int)
1541
(declare-var mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.idMode_logic_RUNNING_out Int)
1542
(declare-var mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.mode_out Int)
1543
(declare-var mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.steps_remaining_out Int)
1544
(declare-var mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.idMode_logic_Mode_logic_2 Int)
1545
(declare-var mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.mode_2 Int)
1546
(declare-var mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.steps_remaining_2 Int)
1547
(declare-rel mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until (Int Int Int Int Int Bool mode_logic_mode_logic__type Int Int Int Int))
1548
(rule (=> 
1549
  (and (Mode_logic_SETUP_en mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.idMode_logic_Mode_logic_1
1550
                            mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.mode_1
1551
                            mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.steps_to_cook
1552
                            mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.steps_remaining_1
1553
                            false
1554
                            mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.idMode_logic_Mode_logic_2
1555
                            mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.mode_2
1556
                            mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.steps_remaining_2)
1557
       (= mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.steps_remaining_out mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.steps_remaining_2)
1558
       (= mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.mode_out mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.mode_2)
1559
       (= mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.mode_logic_mode_logic__state_in POINTMode_logic_Mode_logic)
1560
       (= mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.mode_logic_mode_logic__restart_in true)
1561
       (= mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.idMode_logic_RUNNING_out mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.idMode_logic_RUNNING_1)
1562
       (= mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.idMode_logic_Mode_logic_out mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.idMode_logic_Mode_logic_2)
1563
       )
1564
  (mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.idMode_logic_Mode_logic_1 mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.mode_1 mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.steps_remaining_1 mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.steps_to_cook mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.idMode_logic_RUNNING_1 mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.mode_logic_mode_logic__restart_in mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.mode_logic_mode_logic__state_in mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.idMode_logic_Mode_logic_out mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.idMode_logic_RUNNING_out mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.mode_out mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until.steps_remaining_out)
1565
))
1566

    
1567
; mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_unless
1568
(declare-var mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_unless.mode_logic_mode_logic__restart_in Bool)
1569
(declare-var mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_unless.mode_logic_mode_logic__state_in mode_logic_mode_logic__type)
1570
(declare-var mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_unless.mode_logic_mode_logic__restart_act Bool)
1571
(declare-var mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_unless.mode_logic_mode_logic__state_act mode_logic_mode_logic__type)
1572
(declare-rel mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_unless (Bool mode_logic_mode_logic__type Bool mode_logic_mode_logic__type))
1573
(rule (=> 
1574
  (and (= mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_unless.mode_logic_mode_logic__state_act mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_unless.mode_logic_mode_logic__state_in)
1575
       (= mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_unless.mode_logic_mode_logic__restart_act mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_unless.mode_logic_mode_logic__restart_in)
1576
       )
1577
  (mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_unless mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_unless.mode_logic_mode_logic__restart_in mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_unless.mode_logic_mode_logic__state_in mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_unless.mode_logic_mode_logic__restart_act mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_unless.mode_logic_mode_logic__state_act)
1578
))
1579

    
1580
; Mode_logic_Mode_logic_node
1581
(declare-var Mode_logic_Mode_logic_node.idMode_logic_Mode_logic_1 Int)
1582
(declare-var Mode_logic_Mode_logic_node.mode_1 Int)
1583
(declare-var Mode_logic_Mode_logic_node.steps_remaining_1 Int)
1584
(declare-var Mode_logic_Mode_logic_node.steps_to_cook Int)
1585
(declare-var Mode_logic_Mode_logic_node.start Bool)
1586
(declare-var Mode_logic_Mode_logic_node.door_closed Bool)
1587
(declare-var Mode_logic_Mode_logic_node.idMode_logic_RUNNING_1 Int)
1588
(declare-var Mode_logic_Mode_logic_node.clear Bool)
1589
(declare-var Mode_logic_Mode_logic_node.idMode_logic_Mode_logic Int)
1590
(declare-var Mode_logic_Mode_logic_node.mode Int)
1591
(declare-var Mode_logic_Mode_logic_node.steps_remaining Int)
1592
(declare-var Mode_logic_Mode_logic_node.idMode_logic_RUNNING Int)
1593
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_c Bool)
1594
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_c mode_logic_mode_logic__type)
1595
(declare-var Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_c Bool)
1596
(declare-var Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_c mode_logic_running__type)
1597
(declare-var Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_c Bool)
1598
(declare-var Mode_logic_Mode_logic_node.ni_5._arrow._first_c Bool)
1599
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_m Bool)
1600
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_m mode_logic_mode_logic__type)
1601
(declare-var Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_m Bool)
1602
(declare-var Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_m mode_logic_running__type)
1603
(declare-var Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_m Bool)
1604
(declare-var Mode_logic_Mode_logic_node.ni_5._arrow._first_m Bool)
1605
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_x Bool)
1606
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_x mode_logic_mode_logic__type)
1607
(declare-var Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_x Bool)
1608
(declare-var Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_x mode_logic_running__type)
1609
(declare-var Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_x Bool)
1610
(declare-var Mode_logic_Mode_logic_node.ni_5._arrow._first_x Bool)
1611
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_1 Bool)
1612
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_10 mode_logic_mode_logic__type)
1613
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_11 Bool)
1614
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_12 mode_logic_mode_logic__type)
1615
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_13 Bool)
1616
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_14 mode_logic_mode_logic__type)
1617
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_15 Int)
1618
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_16 Int)
1619
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_17 Int)
1620
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_18 Int)
1621
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_19 Bool)
1622
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_2 mode_logic_mode_logic__type)
1623
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_20 mode_logic_mode_logic__type)
1624
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_21 Int)
1625
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_22 Int)
1626
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_23 Int)
1627
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_24 Int)
1628
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_25 Bool)
1629
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_26 mode_logic_mode_logic__type)
1630
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_27 Int)
1631
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_28 Int)
1632
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_29 Int)
1633
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_3 Bool)
1634
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_30 Int)
1635
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_31 Bool)
1636
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_32 mode_logic_mode_logic__type)
1637
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_33 Int)
1638
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_34 Int)
1639
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_35 Int)
1640
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_36 Int)
1641
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_37 Bool)
1642
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_38 mode_logic_mode_logic__type)
1643
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_39 Int)
1644
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_4 mode_logic_mode_logic__type)
1645
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_40 Int)
1646
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_41 Int)
1647
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_42 Int)
1648
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_43 Bool)
1649
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_44 mode_logic_mode_logic__type)
1650
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_45 Int)
1651
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_46 Int)
1652
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_47 Int)
1653
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_48 Int)
1654
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_49 Bool)
1655
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_5 Bool)
1656
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_6 mode_logic_mode_logic__type)
1657
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_7 Bool)
1658
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_8 mode_logic_mode_logic__type)
1659
(declare-var Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_9 Bool)
1660
(declare-var Mode_logic_Mode_logic_node.mode_logic_mode_logic__next_restart_in Bool)
1661
(declare-var Mode_logic_Mode_logic_node.mode_logic_mode_logic__next_state_in mode_logic_mode_logic__type)
1662
(declare-var Mode_logic_Mode_logic_node.mode_logic_mode_logic__restart_act Bool)
1663
(declare-var Mode_logic_Mode_logic_node.mode_logic_mode_logic__restart_in Bool)
1664
(declare-var Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_act mode_logic_mode_logic__type)
1665
(declare-var Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_in mode_logic_mode_logic__type)
1666
(declare-rel Mode_logic_Mode_logic_node_reset (Bool mode_logic_mode_logic__type Bool mode_logic_running__type Bool Bool Bool mode_logic_mode_logic__type Bool mode_logic_running__type Bool Bool))
1667
(declare-rel Mode_logic_Mode_logic_node_step (Int Int Int Int Bool Bool Int Bool Int Int Int Int Bool mode_logic_mode_logic__type Bool mode_logic_running__type Bool Bool Bool mode_logic_mode_logic__type Bool mode_logic_running__type Bool Bool))
1668

    
1669
(rule (=> 
1670
  (and 
1671
       (= Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_m Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_c)
1672
       (= Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_m Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_c)
1673
       (= Mode_logic_Mode_logic_node.ni_5._arrow._first_m true)
1674
       (mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until_reset 
1675
       Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_c
1676
       Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_c
1677
       Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_c
1678
       Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_m
1679
       Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_m
1680
       Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_m)
1681
  )
1682
  (Mode_logic_Mode_logic_node_reset Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_c
1683
                                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_c
1684
                                    Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_c
1685
                                    Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_c
1686
                                    Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_c
1687
                                    Mode_logic_Mode_logic_node.ni_5._arrow._first_c
1688
                                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_m
1689
                                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_m
1690
                                    Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_m
1691
                                    Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_m
1692
                                    Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_m
1693
                                    Mode_logic_Mode_logic_node.ni_5._arrow._first_m)
1694
))
1695

    
1696
(rule (=> 
1697
  (and (= Mode_logic_Mode_logic_node.ni_5._arrow._first_m Mode_logic_Mode_logic_node.ni_5._arrow._first_c)
1698
       (and (= Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_49 (ite Mode_logic_Mode_logic_node.ni_5._arrow._first_m true false))
1699
            (= Mode_logic_Mode_logic_node.ni_5._arrow._first_x false))
1700
       (and (or (not (= Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_49 false))
1701
               (and (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_in Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_c)
1702
                    (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__restart_in Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_c)
1703
                    ))
1704
            (or (not (= Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_49 true))
1705
               (and (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_in POINTMode_logic_Mode_logic)
1706
                    (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__restart_in false)
1707
                    ))
1708
       )
1709
       (and (or (not (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_in MODE_LOGIC_RUNNING_IDL))
1710
               (and (mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_unless 
1711
                    Mode_logic_Mode_logic_node.mode_logic_mode_logic__restart_in
1712
                    Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_in
1713
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_1
1714
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_2)
1715
                    (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_act Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_2)
1716
                    (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__restart_act Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_1)
1717
                    ))
1718
            (or (not (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_in MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1))
1719
               (and (mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless 
1720
                    Mode_logic_Mode_logic_node.mode_logic_mode_logic__restart_in
1721
                    Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_in
1722
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_5
1723
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_6)
1724
                    (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_act Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_6)
1725
                    (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__restart_act Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_5)
1726
                    ))
1727
            (or (not (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_in MODE_LOGIC_SETUP_IDL))
1728
               (and (mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_unless 
1729
                    Mode_logic_Mode_logic_node.mode_logic_mode_logic__restart_in
1730
                    Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_in
1731
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_3
1732
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_4)
1733
                    (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_act Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_4)
1734
                    (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__restart_act Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_3)
1735
                    ))
1736
            (or (not (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_in MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1))
1737
               (and (mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_unless 
1738
                    Mode_logic_Mode_logic_node.mode_logic_mode_logic__restart_in
1739
                    Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_in
1740
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_7
1741
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_8)
1742
                    (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_act Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_8)
1743
                    (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__restart_act Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_7)
1744
                    ))
1745
            (or (not (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_in POINTMode_logic_Mode_logic))
1746
               (and (mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless 
1747
                    Mode_logic_Mode_logic_node.mode_logic_mode_logic__restart_in
1748
                    Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_in
1749
                    Mode_logic_Mode_logic_node.idMode_logic_Mode_logic_1
1750
                    Mode_logic_Mode_logic_node.steps_remaining_1
1751
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_11
1752
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_12)
1753
                    (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_act Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_12)
1754
                    (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__restart_act Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_11)
1755
                    ))
1756
            (or (not (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_in POINT__TO__MODE_LOGIC_SETUP_1))
1757
               (and (mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_unless 
1758
                    Mode_logic_Mode_logic_node.mode_logic_mode_logic__restart_in
1759
                    Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_in
1760
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_9
1761
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_10)
1762
                    (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_act Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_10)
1763
                    (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__restart_act Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_9)
1764
                    ))
1765
       )
1766
       (and (or (not (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_act MODE_LOGIC_RUNNING_IDL))
1767
               (and (and (or (not (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__restart_act true))
1768
                            (mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until_reset 
1769
                            Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_c
1770
                            Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_c
1771
                            Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_c
1772
                            Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_m
1773
                            Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_m
1774
                            Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_m))
1775
                         (or (not (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__restart_act false))
1776
                            (and (= Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_m Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_c)
1777
                                 (= Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_m Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_c)
1778
                                 (= Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_m Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_c)
1779
                                 )
1780
                            )
1781
                    )
1782
                    (and (= Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_m Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_c)
1783
                         (= Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_m Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_c)
1784
                         (= Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_m Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_c)
1785
                         )
1786
                    (mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until_step 
1787
                    Mode_logic_Mode_logic_node.idMode_logic_Mode_logic_1
1788
                    Mode_logic_Mode_logic_node.mode_1
1789
                    Mode_logic_Mode_logic_node.steps_remaining_1
1790
                    Mode_logic_Mode_logic_node.steps_to_cook
1791
                    Mode_logic_Mode_logic_node.start
1792
                    Mode_logic_Mode_logic_node.door_closed
1793
                    Mode_logic_Mode_logic_node.idMode_logic_RUNNING_1
1794
                    Mode_logic_Mode_logic_node.clear
1795
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_13
1796
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_14
1797
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_15
1798
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_16
1799
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_17
1800
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_18
1801
                    Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_m
1802
                    Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_m
1803
                    Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_m
1804
                    Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_x
1805
                    Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_x
1806
                    Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_x)
1807
                    (= Mode_logic_Mode_logic_node.steps_remaining Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_18)
1808
                    (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__next_state_in Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_14)
1809
                    (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__next_restart_in Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_13)
1810
                    (= Mode_logic_Mode_logic_node.mode Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_17)
1811
                    (= Mode_logic_Mode_logic_node.idMode_logic_RUNNING Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_16)
1812
                    (= Mode_logic_Mode_logic_node.idMode_logic_Mode_logic Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_15)
1813
                    ))
1814
            (or (not (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_act MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1))
1815
               (and (mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until 
1816
                    Mode_logic_Mode_logic_node.idMode_logic_Mode_logic_1
1817
                    Mode_logic_Mode_logic_node.mode_1
1818
                    Mode_logic_Mode_logic_node.steps_remaining_1
1819
                    Mode_logic_Mode_logic_node.steps_to_cook
1820
                    Mode_logic_Mode_logic_node.idMode_logic_RUNNING_1
1821
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_25
1822
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_26
1823
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_27
1824
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_28
1825
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_29
1826
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_30)
1827
                    (= Mode_logic_Mode_logic_node.steps_remaining Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_30)
1828
                    (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__next_state_in Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_26)
1829
                    (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__next_restart_in Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_25)
1830
                    (= Mode_logic_Mode_logic_node.mode Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_29)
1831
                    (= Mode_logic_Mode_logic_node.idMode_logic_RUNNING Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_28)
1832
                    (= Mode_logic_Mode_logic_node.idMode_logic_Mode_logic Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_27)
1833
                    ))
1834
            (or (not (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_act MODE_LOGIC_SETUP_IDL))
1835
               (and (mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until 
1836
                    Mode_logic_Mode_logic_node.idMode_logic_Mode_logic_1
1837
                    Mode_logic_Mode_logic_node.mode_1
1838
                    Mode_logic_Mode_logic_node.steps_remaining_1
1839
                    Mode_logic_Mode_logic_node.idMode_logic_RUNNING_1
1840
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_19
1841
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_20
1842
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_21
1843
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_22
1844
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_23
1845
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_24)
1846
                    (= Mode_logic_Mode_logic_node.steps_remaining Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_24)
1847
                    (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__next_state_in Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_20)
1848
                    (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__next_restart_in Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_19)
1849
                    (= Mode_logic_Mode_logic_node.mode Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_23)
1850
                    (= Mode_logic_Mode_logic_node.idMode_logic_RUNNING Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_22)
1851
                    (= Mode_logic_Mode_logic_node.idMode_logic_Mode_logic Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_21)
1852
                    ))
1853
            (or (not (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_act MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1))
1854
               (and (mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until 
1855
                    Mode_logic_Mode_logic_node.idMode_logic_Mode_logic_1
1856
                    Mode_logic_Mode_logic_node.mode_1
1857
                    Mode_logic_Mode_logic_node.steps_remaining_1
1858
                    Mode_logic_Mode_logic_node.steps_to_cook
1859
                    Mode_logic_Mode_logic_node.start
1860
                    Mode_logic_Mode_logic_node.door_closed
1861
                    Mode_logic_Mode_logic_node.idMode_logic_RUNNING_1
1862
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_31
1863
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_32
1864
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_33
1865
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_34
1866
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_35
1867
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_36)
1868
                    (= Mode_logic_Mode_logic_node.steps_remaining Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_36)
1869
                    (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__next_state_in Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_32)
1870
                    (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__next_restart_in Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_31)
1871
                    (= Mode_logic_Mode_logic_node.mode Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_35)
1872
                    (= Mode_logic_Mode_logic_node.idMode_logic_RUNNING Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_34)
1873
                    (= Mode_logic_Mode_logic_node.idMode_logic_Mode_logic Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_33)
1874
                    ))
1875
            (or (not (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_act POINTMode_logic_Mode_logic))
1876
               (and (mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until 
1877
                    Mode_logic_Mode_logic_node.idMode_logic_Mode_logic_1
1878
                    Mode_logic_Mode_logic_node.mode_1
1879
                    Mode_logic_Mode_logic_node.steps_remaining_1
1880
                    Mode_logic_Mode_logic_node.idMode_logic_RUNNING_1
1881
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_43
1882
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_44
1883
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_45
1884
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_46
1885
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_47
1886
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_48)
1887
                    (= Mode_logic_Mode_logic_node.steps_remaining Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_48)
1888
                    (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__next_state_in Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_44)
1889
                    (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__next_restart_in Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_43)
1890
                    (= Mode_logic_Mode_logic_node.mode Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_47)
1891
                    (= Mode_logic_Mode_logic_node.idMode_logic_RUNNING Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_46)
1892
                    (= Mode_logic_Mode_logic_node.idMode_logic_Mode_logic Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_45)
1893
                    ))
1894
            (or (not (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__state_act POINT__TO__MODE_LOGIC_SETUP_1))
1895
               (and (mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until 
1896
                    Mode_logic_Mode_logic_node.idMode_logic_Mode_logic_1
1897
                    Mode_logic_Mode_logic_node.mode_1
1898
                    Mode_logic_Mode_logic_node.steps_remaining_1
1899
                    Mode_logic_Mode_logic_node.steps_to_cook
1900
                    Mode_logic_Mode_logic_node.idMode_logic_RUNNING_1
1901
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_37
1902
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_38
1903
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_39
1904
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_40
1905
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_41
1906
                    Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_42)
1907
                    (= Mode_logic_Mode_logic_node.steps_remaining Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_42)
1908
                    (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__next_state_in Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_38)
1909
                    (= Mode_logic_Mode_logic_node.mode_logic_mode_logic__next_restart_in Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_37)
1910
                    (= Mode_logic_Mode_logic_node.mode Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_41)
1911
                    (= Mode_logic_Mode_logic_node.idMode_logic_RUNNING Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_40)
1912
                    (= Mode_logic_Mode_logic_node.idMode_logic_Mode_logic Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_39)
1913
                    ))
1914
       )
1915
       (= Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_x Mode_logic_Mode_logic_node.mode_logic_mode_logic__next_state_in)
1916
       (= Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_x Mode_logic_Mode_logic_node.mode_logic_mode_logic__next_restart_in)
1917
       )
1918
  (Mode_logic_Mode_logic_node_step Mode_logic_Mode_logic_node.idMode_logic_Mode_logic_1
1919
                                   Mode_logic_Mode_logic_node.mode_1
1920
                                   Mode_logic_Mode_logic_node.steps_remaining_1
1921
                                   Mode_logic_Mode_logic_node.steps_to_cook
1922
                                   Mode_logic_Mode_logic_node.start
1923
                                   Mode_logic_Mode_logic_node.door_closed
1924
                                   Mode_logic_Mode_logic_node.idMode_logic_RUNNING_1
1925
                                   Mode_logic_Mode_logic_node.clear
1926
                                   Mode_logic_Mode_logic_node.idMode_logic_Mode_logic
1927
                                   Mode_logic_Mode_logic_node.mode
1928
                                   Mode_logic_Mode_logic_node.steps_remaining
1929
                                   Mode_logic_Mode_logic_node.idMode_logic_RUNNING
1930
                                   Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_c
1931
                                   Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_c
1932
                                   Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_c
1933
                                   Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_c
1934
                                   Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_c
1935
                                   Mode_logic_Mode_logic_node.ni_5._arrow._first_c
1936
                                   Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_x
1937
                                   Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_x
1938
                                   Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_x
1939
                                   Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_x
1940
                                   Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_x
1941
                                   Mode_logic_Mode_logic_node.ni_5._arrow._first_x)
1942
))
1943

    
1944
; Microwave_Mode_logic
1945
(declare-var Microwave_Mode_logic.start Bool)
1946
(declare-var Microwave_Mode_logic.clear Bool)
1947
(declare-var Microwave_Mode_logic.steps_to_cook Int)
1948
(declare-var Microwave_Mode_logic.door_closed Bool)
1949
(declare-var Microwave_Mode_logic.mode Int)
1950
(declare-var Microwave_Mode_logic.steps_remaining Int)
1951
(declare-var Microwave_Mode_logic.__Microwave_Mode_logic_2_c Int)
1952
(declare-var Microwave_Mode_logic.__Microwave_Mode_logic_3_c Int)
1953
(declare-var Microwave_Mode_logic.__Microwave_Mode_logic_4_c Int)
1954
(declare-var Microwave_Mode_logic.__Microwave_Mode_logic_5_c Int)
1955
(declare-var Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_c Bool)
1956
(declare-var Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_c mode_logic_mode_logic__type)
1957
(declare-var Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_c Bool)
1958
(declare-var Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_c mode_logic_running__type)
1959
(declare-var Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_c Bool)
1960
(declare-var Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_5._arrow._first_c Bool)
1961
(declare-var Microwave_Mode_logic.ni_3._arrow._first_c Bool)
1962
(declare-var Microwave_Mode_logic.__Microwave_Mode_logic_2_m Int)
1963
(declare-var Microwave_Mode_logic.__Microwave_Mode_logic_3_m Int)
1964
(declare-var Microwave_Mode_logic.__Microwave_Mode_logic_4_m Int)
1965
(declare-var Microwave_Mode_logic.__Microwave_Mode_logic_5_m Int)
1966
(declare-var Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_m Bool)
1967
(declare-var Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_m mode_logic_mode_logic__type)
1968
(declare-var Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_m Bool)
1969
(declare-var Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_m mode_logic_running__type)
1970
(declare-var Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_m Bool)
1971
(declare-var Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_5._arrow._first_m Bool)
1972
(declare-var Microwave_Mode_logic.ni_3._arrow._first_m Bool)
1973
(declare-var Microwave_Mode_logic.__Microwave_Mode_logic_2_x Int)
1974
(declare-var Microwave_Mode_logic.__Microwave_Mode_logic_3_x Int)
1975
(declare-var Microwave_Mode_logic.__Microwave_Mode_logic_4_x Int)
1976
(declare-var Microwave_Mode_logic.__Microwave_Mode_logic_5_x Int)
1977
(declare-var Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_x Bool)
1978
(declare-var Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_x mode_logic_mode_logic__type)
1979
(declare-var Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_x Bool)
1980
(declare-var Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_x mode_logic_running__type)
1981
(declare-var Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_x Bool)
1982
(declare-var Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_5._arrow._first_x Bool)
1983
(declare-var Microwave_Mode_logic.ni_3._arrow._first_x Bool)
1984
(declare-var Microwave_Mode_logic.__Microwave_Mode_logic_1 Bool)
1985
(declare-var Microwave_Mode_logic.idMode_logic_Mode_logic Int)
1986
(declare-var Microwave_Mode_logic.idMode_logic_Mode_logic_1 Int)
1987
(declare-var Microwave_Mode_logic.idMode_logic_RUNNING Int)
1988
(declare-var Microwave_Mode_logic.idMode_logic_RUNNING_1 Int)
1989
(declare-var Microwave_Mode_logic.mode_1 Int)
1990
(declare-var Microwave_Mode_logic.steps_remaining_1 Int)
1991
(declare-rel Microwave_Mode_logic_reset (Int Int Int Int Bool mode_logic_mode_logic__type Bool mode_logic_running__type Bool Bool Bool Int Int Int Int Bool mode_logic_mode_logic__type Bool mode_logic_running__type Bool Bool Bool))
1992
(declare-rel Microwave_Mode_logic_step (Bool Bool Int Bool Int Int Int Int Int Int Bool mode_logic_mode_logic__type Bool mode_logic_running__type Bool Bool Bool Int Int Int Int Bool mode_logic_mode_logic__type Bool mode_logic_running__type Bool Bool Bool))
1993

    
1994
(rule (=> 
1995
  (and 
1996
       (= Microwave_Mode_logic.__Microwave_Mode_logic_2_m Microwave_Mode_logic.__Microwave_Mode_logic_2_c)
1997
       (= Microwave_Mode_logic.__Microwave_Mode_logic_3_m Microwave_Mode_logic.__Microwave_Mode_logic_3_c)
1998
       (= Microwave_Mode_logic.__Microwave_Mode_logic_4_m Microwave_Mode_logic.__Microwave_Mode_logic_4_c)
1999
       (= Microwave_Mode_logic.__Microwave_Mode_logic_5_m Microwave_Mode_logic.__Microwave_Mode_logic_5_c)
2000
       (= Microwave_Mode_logic.ni_3._arrow._first_m true)
2001
       (Mode_logic_Mode_logic_node_reset Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_c
2002
                                         Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_c
2003
                                         Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_c
2004
                                         Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_c
2005
                                         Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_c
2006
                                         Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_5._arrow._first_c
2007
                                         Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_m
2008
                                         Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_m
2009
                                         Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_m
2010
                                         Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_m
2011
                                         Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_m
2012
                                         Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_5._arrow._first_m)
2013
  )
2014
  (Microwave_Mode_logic_reset Microwave_Mode_logic.__Microwave_Mode_logic_2_c
2015
                              Microwave_Mode_logic.__Microwave_Mode_logic_3_c
2016
                              Microwave_Mode_logic.__Microwave_Mode_logic_4_c
2017
                              Microwave_Mode_logic.__Microwave_Mode_logic_5_c
2018
                              Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_c
2019
                              Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_c
2020
                              Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_c
2021
                              Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_c
2022
                              Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_c
2023
                              Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_5._arrow._first_c
2024
                              Microwave_Mode_logic.ni_3._arrow._first_c
2025
                              Microwave_Mode_logic.__Microwave_Mode_logic_2_m
2026
                              Microwave_Mode_logic.__Microwave_Mode_logic_3_m
2027
                              Microwave_Mode_logic.__Microwave_Mode_logic_4_m
2028
                              Microwave_Mode_logic.__Microwave_Mode_logic_5_m
2029
                              Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_m
2030
                              Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_m
2031
                              Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_m
2032
                              Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_m
2033
                              Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_m
2034
                              Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_5._arrow._first_m
2035
                              Microwave_Mode_logic.ni_3._arrow._first_m)
2036
))
2037

    
2038
(rule (=> 
2039
  (and (= Microwave_Mode_logic.ni_3._arrow._first_m Microwave_Mode_logic.ni_3._arrow._first_c)
2040
       (and (= Microwave_Mode_logic.__Microwave_Mode_logic_1 (ite Microwave_Mode_logic.ni_3._arrow._first_m true false))
2041
            (= Microwave_Mode_logic.ni_3._arrow._first_x false))
2042
       (and (or (not (= Microwave_Mode_logic.__Microwave_Mode_logic_1 false))
2043
               (and (= Microwave_Mode_logic.steps_remaining_1 Microwave_Mode_logic.__Microwave_Mode_logic_4_c)
2044
                    (= Microwave_Mode_logic.mode_1 Microwave_Mode_logic.__Microwave_Mode_logic_5_c)
2045
                    (= Microwave_Mode_logic.idMode_logic_RUNNING_1 Microwave_Mode_logic.__Microwave_Mode_logic_2_c)
2046
                    (= Microwave_Mode_logic.idMode_logic_Mode_logic_1 Microwave_Mode_logic.__Microwave_Mode_logic_3_c)
2047
                    ))
2048
            (or (not (= Microwave_Mode_logic.__Microwave_Mode_logic_1 true))
2049
               (and (= Microwave_Mode_logic.steps_remaining_1 0)
2050
                    (= Microwave_Mode_logic.mode_1 0)
2051
                    (= Microwave_Mode_logic.idMode_logic_RUNNING_1 0)
2052
                    (= Microwave_Mode_logic.idMode_logic_Mode_logic_1 0)
2053
                    ))
2054
       )
2055
       (and (= Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_m Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_c)
2056
            (= Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_m Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_c)
2057
            (= Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_m Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_c)
2058
            (= Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_m Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_c)
2059
            (= Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_m Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_c)
2060
            (= Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_5._arrow._first_m Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_5._arrow._first_c)
2061
            )
2062
       (Mode_logic_Mode_logic_node_step Microwave_Mode_logic.idMode_logic_Mode_logic_1
2063
                                        Microwave_Mode_logic.mode_1
2064
                                        Microwave_Mode_logic.steps_remaining_1
2065
                                        Microwave_Mode_logic.steps_to_cook
2066
                                        Microwave_Mode_logic.start
2067
                                        Microwave_Mode_logic.door_closed
2068
                                        Microwave_Mode_logic.idMode_logic_RUNNING_1
2069
                                        Microwave_Mode_logic.clear
2070
                                        Microwave_Mode_logic.idMode_logic_Mode_logic
2071
                                        Microwave_Mode_logic.mode
2072
                                        Microwave_Mode_logic.steps_remaining
2073
                                        Microwave_Mode_logic.idMode_logic_RUNNING
2074
                                        Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_m
2075
                                        Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_m
2076
                                        Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_m
2077
                                        Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_m
2078
                                        Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_m
2079
                                        Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_5._arrow._first_m
2080
                                        Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_x
2081
                                        Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_x
2082
                                        Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_x
2083
                                        Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_x
2084
                                        Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_x
2085
                                        Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_5._arrow._first_x)
2086
       (= Microwave_Mode_logic.__Microwave_Mode_logic_5_x Microwave_Mode_logic.mode)
2087
       (= Microwave_Mode_logic.__Microwave_Mode_logic_4_x Microwave_Mode_logic.steps_remaining)
2088
       (= Microwave_Mode_logic.__Microwave_Mode_logic_3_x Microwave_Mode_logic.idMode_logic_Mode_logic)
2089
       (= Microwave_Mode_logic.__Microwave_Mode_logic_2_x Microwave_Mode_logic.idMode_logic_RUNNING)
2090
       )
2091
  (Microwave_Mode_logic_step Microwave_Mode_logic.start
2092
                             Microwave_Mode_logic.clear
2093
                             Microwave_Mode_logic.steps_to_cook
2094
                             Microwave_Mode_logic.door_closed
2095
                             Microwave_Mode_logic.mode
2096
                             Microwave_Mode_logic.steps_remaining
2097
                             Microwave_Mode_logic.__Microwave_Mode_logic_2_c
2098
                             Microwave_Mode_logic.__Microwave_Mode_logic_3_c
2099
                             Microwave_Mode_logic.__Microwave_Mode_logic_4_c
2100
                             Microwave_Mode_logic.__Microwave_Mode_logic_5_c
2101
                             Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_c
2102
                             Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_c
2103
                             Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_c
2104
                             Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_c
2105
                             Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_c
2106
                             Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_5._arrow._first_c
2107
                             Microwave_Mode_logic.ni_3._arrow._first_c
2108
                             Microwave_Mode_logic.__Microwave_Mode_logic_2_x
2109
                             Microwave_Mode_logic.__Microwave_Mode_logic_3_x
2110
                             Microwave_Mode_logic.__Microwave_Mode_logic_4_x
2111
                             Microwave_Mode_logic.__Microwave_Mode_logic_5_x
2112
                             Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_x
2113
                             Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_x
2114
                             Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_x
2115
                             Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_x
2116
                             Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_x
2117
                             Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_5._arrow._first_x
2118
                             Microwave_Mode_logic.ni_3._arrow._first_x)
2119
))
2120

    
2121
; Microwave
2122
(declare-var Microwave.start_1_1 Bool)
2123
(declare-var Microwave.clear_1_1 Bool)
2124
(declare-var Microwave.steps_to_cook_1_1 Int)
2125
(declare-var Microwave.door_closed_1_1 Bool)
2126
(declare-var Microwave.mode_1_1 Int)
2127
(declare-var Microwave.steps_remaining_2_1 Int)
2128
(declare-var Microwave.ni_0._arrow._first_c Bool)
2129
(declare-var Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_2_c Int)
2130
(declare-var Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_3_c Int)
2131
(declare-var Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_4_c Int)
2132
(declare-var Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_5_c Int)
2133
(declare-var Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_c Bool)
2134
(declare-var Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_c mode_logic_mode_logic__type)
2135
(declare-var Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_c Bool)
2136
(declare-var Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_c mode_logic_running__type)
2137
(declare-var Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_c Bool)
2138
(declare-var Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_5._arrow._first_c Bool)
2139
(declare-var Microwave.ni_1.Microwave_Mode_logic.ni_3._arrow._first_c Bool)
2140
(declare-var Microwave.ni_0._arrow._first_m Bool)
2141
(declare-var Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_2_m Int)
2142
(declare-var Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_3_m Int)
2143
(declare-var Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_4_m Int)
2144
(declare-var Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_5_m Int)
2145
(declare-var Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_m Bool)
2146
(declare-var Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_m mode_logic_mode_logic__type)
2147
(declare-var Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_m Bool)
2148
(declare-var Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_m mode_logic_running__type)
2149
(declare-var Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_m Bool)
2150
(declare-var Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_5._arrow._first_m Bool)
2151
(declare-var Microwave.ni_1.Microwave_Mode_logic.ni_3._arrow._first_m Bool)
2152
(declare-var Microwave.ni_0._arrow._first_x Bool)
2153
(declare-var Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_2_x Int)
2154
(declare-var Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_3_x Int)
2155
(declare-var Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_4_x Int)
2156
(declare-var Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_5_x Int)
2157
(declare-var Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_x Bool)
2158
(declare-var Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_x mode_logic_mode_logic__type)
2159
(declare-var Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_x Bool)
2160
(declare-var Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_x mode_logic_running__type)
2161
(declare-var Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_x Bool)
2162
(declare-var Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_5._arrow._first_x Bool)
2163
(declare-var Microwave.ni_1.Microwave_Mode_logic.ni_3._arrow._first_x Bool)
2164
(declare-var Microwave.Mode_logic_1_1 Int)
2165
(declare-var Microwave.Mode_logic_2_1 Int)
2166
(declare-var Microwave.__Microwave_1 Bool)
2167
(declare-var Microwave.i_virtual_local Real)
2168
(declare-rel Microwave_reset (Bool Int Int Int Int Bool mode_logic_mode_logic__type Bool mode_logic_running__type Bool Bool Bool Bool Int Int Int Int Bool mode_logic_mode_logic__type Bool mode_logic_running__type Bool Bool Bool))
2169
(declare-rel Microwave_step (Bool Bool Int Bool Int Int Bool Int Int Int Int Bool mode_logic_mode_logic__type Bool mode_logic_running__type Bool Bool Bool Bool Int Int Int Int Bool mode_logic_mode_logic__type Bool mode_logic_running__type Bool Bool Bool))
2170

    
2171
(rule (=> 
2172
  (and 
2173
       
2174
       (Microwave_Mode_logic_reset Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_2_c
2175
                                   Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_3_c
2176
                                   Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_4_c
2177
                                   Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_5_c
2178
                                   Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_c
2179
                                   Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_c
2180
                                   Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_c
2181
                                   Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_c
2182
                                   Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_c
2183
                                   Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_5._arrow._first_c
2184
                                   Microwave.ni_1.Microwave_Mode_logic.ni_3._arrow._first_c
2185
                                   Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_2_m
2186
                                   Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_3_m
2187
                                   Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_4_m
2188
                                   Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_5_m
2189
                                   Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_m
2190
                                   Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_m
2191
                                   Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_m
2192
                                   Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_m
2193
                                   Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_m
2194
                                   Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_5._arrow._first_m
2195
                                   Microwave.ni_1.Microwave_Mode_logic.ni_3._arrow._first_m)
2196
       (= Microwave.ni_0._arrow._first_m true)
2197
  )
2198
  (Microwave_reset Microwave.ni_0._arrow._first_c
2199
                   Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_2_c
2200
                   Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_3_c
2201
                   Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_4_c
2202
                   Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_5_c
2203
                   Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_c
2204
                   Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_c
2205
                   Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_c
2206
                   Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_c
2207
                   Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_c
2208
                   Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_5._arrow._first_c
2209
                   Microwave.ni_1.Microwave_Mode_logic.ni_3._arrow._first_c
2210
                   Microwave.ni_0._arrow._first_m
2211
                   Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_2_m
2212
                   Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_3_m
2213
                   Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_4_m
2214
                   Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_5_m
2215
                   Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_m
2216
                   Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_m
2217
                   Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_m
2218
                   Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_m
2219
                   Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_m
2220
                   Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_5._arrow._first_m
2221
                   Microwave.ni_1.Microwave_Mode_logic.ni_3._arrow._first_m)
2222
))
2223

    
2224
(rule (=> 
2225
  (and (and (= Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_2_m Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_2_c)
2226
            (= Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_3_m Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_3_c)
2227
            (= Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_4_m Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_4_c)
2228
            (= Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_5_m Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_5_c)
2229
            (= Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_m Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_c)
2230
            (= Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_m Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_c)
2231
            (= Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_m Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_c)
2232
            (= Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_m Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_c)
2233
            (= Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_m Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_c)
2234
            (= Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_5._arrow._first_m Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_5._arrow._first_c)
2235
            (= Microwave.ni_1.Microwave_Mode_logic.ni_3._arrow._first_m Microwave.ni_1.Microwave_Mode_logic.ni_3._arrow._first_c)
2236
            )
2237
       (Microwave_Mode_logic_step Microwave.start_1_1
2238
                                  Microwave.clear_1_1
2239
                                  Microwave.steps_to_cook_1_1
2240
                                  Microwave.door_closed_1_1
2241
                                  Microwave.Mode_logic_1_1
2242
                                  Microwave.Mode_logic_2_1
2243
                                  Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_2_m
2244
                                  Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_3_m
2245
                                  Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_4_m
2246
                                  Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_5_m
2247
                                  Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_m
2248
                                  Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_m
2249
                                  Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_m
2250
                                  Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_m
2251
                                  Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_m
2252
                                  Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_5._arrow._first_m
2253
                                  Microwave.ni_1.Microwave_Mode_logic.ni_3._arrow._first_m
2254
                                  Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_2_x
2255
                                  Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_3_x
2256
                                  Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_4_x
2257
                                  Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_5_x
2258
                                  Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_x
2259
                                  Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_x
2260
                                  Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_x
2261
                                  Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_x
2262
                                  Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_x
2263
                                  Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_5._arrow._first_x
2264
                                  Microwave.ni_1.Microwave_Mode_logic.ni_3._arrow._first_x)
2265
       (= Microwave.steps_remaining_2_1 Microwave.Mode_logic_2_1)
2266
       (= Microwave.mode_1_1 Microwave.Mode_logic_1_1)
2267
       (= Microwave.ni_0._arrow._first_m Microwave.ni_0._arrow._first_c)
2268
       (and (= Microwave.__Microwave_1 (ite Microwave.ni_0._arrow._first_m true false))
2269
            (= Microwave.ni_0._arrow._first_x false))
2270
       (and (or (not (= Microwave.__Microwave_1 true))
2271
               (= Microwave.i_virtual_local 0.))
2272
            (or (not (= Microwave.__Microwave_1 false))
2273
               (= Microwave.i_virtual_local 1.))
2274
       )
2275
       )
2276
  (Microwave_step Microwave.start_1_1
2277
                  Microwave.clear_1_1
2278
                  Microwave.steps_to_cook_1_1
2279
                  Microwave.door_closed_1_1
2280
                  Microwave.mode_1_1
2281
                  Microwave.steps_remaining_2_1
2282
                  Microwave.ni_0._arrow._first_c
2283
                  Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_2_c
2284
                  Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_3_c
2285
                  Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_4_c
2286
                  Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_5_c
2287
                  Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_c
2288
                  Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_c
2289
                  Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_c
2290
                  Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_c
2291
                  Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_c
2292
                  Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_5._arrow._first_c
2293
                  Microwave.ni_1.Microwave_Mode_logic.ni_3._arrow._first_c
2294
                  Microwave.ni_0._arrow._first_x
2295
                  Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_2_x
2296
                  Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_3_x
2297
                  Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_4_x
2298
                  Microwave.ni_1.Microwave_Mode_logic.__Microwave_Mode_logic_5_x
2299
                  Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_50_x
2300
                  Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.__Mode_logic_Mode_logic_node_51_x
2301
                  Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_66_x
2302
                  Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.__Mode_logic_RUNNING_node_67_x
2303
                  Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_4.mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until.ni_6.Mode_logic_RUNNING_node.ni_7._arrow._first_x
2304
                  Microwave.ni_1.Microwave_Mode_logic.ni_2.Mode_logic_Mode_logic_node.ni_5._arrow._first_x
2305
                  Microwave.ni_1.Microwave_Mode_logic.ni_3._arrow._first_x)
2306
))
2307