Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_detect_change_test / detect_change_test.smt2 @ 6c3ea955

History | View | Annotate | Download (59.9 KB)

1
; detect_change_test
2
(declare-var detect_change_test.In1_1_1 Real)
3
(declare-var detect_change_test.In2_1_1 Real)
4
(declare-var detect_change_test.In2_1_2 Real)
5
(declare-var detect_change_test.In2_1_3 Real)
6
(declare-var detect_change_test.In2_1_4 Real)
7
(declare-var detect_change_test.In2_1_5 Real)
8
(declare-var detect_change_test.In3_1_1 Int)
9
(declare-var detect_change_test.In3_1_2 Int)
10
(declare-var detect_change_test.In3_1_3 Int)
11
(declare-var detect_change_test.In3_1_4 Int)
12
(declare-var detect_change_test.In3_1_5 Int)
13
(declare-var detect_change_test.In3_1_6 Int)
14
(declare-var detect_change_test.In4_1_1 Real)
15
(declare-var detect_change_test.In5_1_1 Real)
16
(declare-var detect_change_test.In5_1_2 Real)
17
(declare-var detect_change_test.In5_1_3 Real)
18
(declare-var detect_change_test.In5_1_4 Real)
19
(declare-var detect_change_test.In5_1_5 Real)
20
(declare-var detect_change_test.In6_1_1 Int)
21
(declare-var detect_change_test.In6_1_2 Int)
22
(declare-var detect_change_test.In6_1_3 Int)
23
(declare-var detect_change_test.In6_1_4 Int)
24
(declare-var detect_change_test.In6_1_5 Int)
25
(declare-var detect_change_test.In6_1_6 Int)
26
(declare-var detect_change_test.In7_1_1 Real)
27
(declare-var detect_change_test.In8_1_1 Real)
28
(declare-var detect_change_test.In8_1_2 Real)
29
(declare-var detect_change_test.In8_1_3 Real)
30
(declare-var detect_change_test.In8_1_4 Real)
31
(declare-var detect_change_test.In8_1_5 Real)
32
(declare-var detect_change_test.In9_1_1 Int)
33
(declare-var detect_change_test.In9_1_2 Int)
34
(declare-var detect_change_test.In9_1_3 Int)
35
(declare-var detect_change_test.In9_1_4 Int)
36
(declare-var detect_change_test.In9_1_5 Int)
37
(declare-var detect_change_test.In9_1_6 Int)
38
(declare-var detect_change_test.In10_1_1 Bool)
39
(declare-var detect_change_test.In11_1_1 Bool)
40
(declare-var detect_change_test.In12_1_1 Bool)
41
(declare-var detect_change_test.Out1_1_1 Bool)
42
(declare-var detect_change_test.Out2_2_1 Bool)
43
(declare-var detect_change_test.Out2_2_2 Bool)
44
(declare-var detect_change_test.Out2_2_3 Bool)
45
(declare-var detect_change_test.Out2_2_4 Bool)
46
(declare-var detect_change_test.Out2_2_5 Bool)
47
(declare-var detect_change_test.Out3_3_1 Bool)
48
(declare-var detect_change_test.Out3_3_2 Bool)
49
(declare-var detect_change_test.Out3_3_3 Bool)
50
(declare-var detect_change_test.Out3_3_4 Bool)
51
(declare-var detect_change_test.Out3_3_5 Bool)
52
(declare-var detect_change_test.Out3_3_6 Bool)
53
(declare-var detect_change_test.Out4_4_1 Bool)
54
(declare-var detect_change_test.Out5_5_1 Bool)
55
(declare-var detect_change_test.Out5_5_2 Bool)
56
(declare-var detect_change_test.Out5_5_3 Bool)
57
(declare-var detect_change_test.Out5_5_4 Bool)
58
(declare-var detect_change_test.Out5_5_5 Bool)
59
(declare-var detect_change_test.Out6_6_1 Bool)
60
(declare-var detect_change_test.Out6_6_2 Bool)
61
(declare-var detect_change_test.Out6_6_3 Bool)
62
(declare-var detect_change_test.Out6_6_4 Bool)
63
(declare-var detect_change_test.Out6_6_5 Bool)
64
(declare-var detect_change_test.Out6_6_6 Bool)
65
(declare-var detect_change_test.Out7_7_1 Bool)
66
(declare-var detect_change_test.Out8_8_1 Bool)
67
(declare-var detect_change_test.Out8_8_2 Bool)
68
(declare-var detect_change_test.Out8_8_3 Bool)
69
(declare-var detect_change_test.Out8_8_4 Bool)
70
(declare-var detect_change_test.Out8_8_5 Bool)
71
(declare-var detect_change_test.Out9_9_1 Bool)
72
(declare-var detect_change_test.Out9_9_2 Bool)
73
(declare-var detect_change_test.Out9_9_3 Bool)
74
(declare-var detect_change_test.Out9_9_4 Bool)
75
(declare-var detect_change_test.Out9_9_5 Bool)
76
(declare-var detect_change_test.Out9_9_6 Bool)
77
(declare-var detect_change_test.Out10_10_1 Bool)
78
(declare-var detect_change_test.Out11_11_1 Bool)
79
(declare-var detect_change_test.Out12_12_1 Bool)
80
(declare-var detect_change_test.__detect_change_test_10_c Int)
81
(declare-var detect_change_test.__detect_change_test_12_c Int)
82
(declare-var detect_change_test.__detect_change_test_14_c Int)
83
(declare-var detect_change_test.__detect_change_test_16_c Real)
84
(declare-var detect_change_test.__detect_change_test_18_c Real)
85
(declare-var detect_change_test.__detect_change_test_2_c Bool)
86
(declare-var detect_change_test.__detect_change_test_20_c Real)
87
(declare-var detect_change_test.__detect_change_test_22_c Real)
88
(declare-var detect_change_test.__detect_change_test_24_c Real)
89
(declare-var detect_change_test.__detect_change_test_26_c Real)
90
(declare-var detect_change_test.__detect_change_test_28_c Bool)
91
(declare-var detect_change_test.__detect_change_test_30_c Int)
92
(declare-var detect_change_test.__detect_change_test_32_c Int)
93
(declare-var detect_change_test.__detect_change_test_34_c Int)
94
(declare-var detect_change_test.__detect_change_test_36_c Int)
95
(declare-var detect_change_test.__detect_change_test_38_c Int)
96
(declare-var detect_change_test.__detect_change_test_4_c Int)
97
(declare-var detect_change_test.__detect_change_test_40_c Int)
98
(declare-var detect_change_test.__detect_change_test_42_c Real)
99
(declare-var detect_change_test.__detect_change_test_44_c Real)
100
(declare-var detect_change_test.__detect_change_test_46_c Real)
101
(declare-var detect_change_test.__detect_change_test_48_c Real)
102
(declare-var detect_change_test.__detect_change_test_50_c Real)
103
(declare-var detect_change_test.__detect_change_test_52_c Real)
104
(declare-var detect_change_test.__detect_change_test_54_c Bool)
105
(declare-var detect_change_test.__detect_change_test_56_c Int)
106
(declare-var detect_change_test.__detect_change_test_58_c Int)
107
(declare-var detect_change_test.__detect_change_test_6_c Int)
108
(declare-var detect_change_test.__detect_change_test_60_c Int)
109
(declare-var detect_change_test.__detect_change_test_62_c Int)
110
(declare-var detect_change_test.__detect_change_test_64_c Int)
111
(declare-var detect_change_test.__detect_change_test_66_c Int)
112
(declare-var detect_change_test.__detect_change_test_68_c Real)
113
(declare-var detect_change_test.__detect_change_test_70_c Real)
114
(declare-var detect_change_test.__detect_change_test_72_c Real)
115
(declare-var detect_change_test.__detect_change_test_74_c Real)
116
(declare-var detect_change_test.__detect_change_test_76_c Real)
117
(declare-var detect_change_test.__detect_change_test_78_c Real)
118
(declare-var detect_change_test.__detect_change_test_8_c Int)
119
(declare-var detect_change_test.ni_0._arrow._first_c Bool)
120
(declare-var detect_change_test.__detect_change_test_10_m Int)
121
(declare-var detect_change_test.__detect_change_test_12_m Int)
122
(declare-var detect_change_test.__detect_change_test_14_m Int)
123
(declare-var detect_change_test.__detect_change_test_16_m Real)
124
(declare-var detect_change_test.__detect_change_test_18_m Real)
125
(declare-var detect_change_test.__detect_change_test_2_m Bool)
126
(declare-var detect_change_test.__detect_change_test_20_m Real)
127
(declare-var detect_change_test.__detect_change_test_22_m Real)
128
(declare-var detect_change_test.__detect_change_test_24_m Real)
129
(declare-var detect_change_test.__detect_change_test_26_m Real)
130
(declare-var detect_change_test.__detect_change_test_28_m Bool)
131
(declare-var detect_change_test.__detect_change_test_30_m Int)
132
(declare-var detect_change_test.__detect_change_test_32_m Int)
133
(declare-var detect_change_test.__detect_change_test_34_m Int)
134
(declare-var detect_change_test.__detect_change_test_36_m Int)
135
(declare-var detect_change_test.__detect_change_test_38_m Int)
136
(declare-var detect_change_test.__detect_change_test_4_m Int)
137
(declare-var detect_change_test.__detect_change_test_40_m Int)
138
(declare-var detect_change_test.__detect_change_test_42_m Real)
139
(declare-var detect_change_test.__detect_change_test_44_m Real)
140
(declare-var detect_change_test.__detect_change_test_46_m Real)
141
(declare-var detect_change_test.__detect_change_test_48_m Real)
142
(declare-var detect_change_test.__detect_change_test_50_m Real)
143
(declare-var detect_change_test.__detect_change_test_52_m Real)
144
(declare-var detect_change_test.__detect_change_test_54_m Bool)
145
(declare-var detect_change_test.__detect_change_test_56_m Int)
146
(declare-var detect_change_test.__detect_change_test_58_m Int)
147
(declare-var detect_change_test.__detect_change_test_6_m Int)
148
(declare-var detect_change_test.__detect_change_test_60_m Int)
149
(declare-var detect_change_test.__detect_change_test_62_m Int)
150
(declare-var detect_change_test.__detect_change_test_64_m Int)
151
(declare-var detect_change_test.__detect_change_test_66_m Int)
152
(declare-var detect_change_test.__detect_change_test_68_m Real)
153
(declare-var detect_change_test.__detect_change_test_70_m Real)
154
(declare-var detect_change_test.__detect_change_test_72_m Real)
155
(declare-var detect_change_test.__detect_change_test_74_m Real)
156
(declare-var detect_change_test.__detect_change_test_76_m Real)
157
(declare-var detect_change_test.__detect_change_test_78_m Real)
158
(declare-var detect_change_test.__detect_change_test_8_m Int)
159
(declare-var detect_change_test.ni_0._arrow._first_m Bool)
160
(declare-var detect_change_test.__detect_change_test_10_x Int)
161
(declare-var detect_change_test.__detect_change_test_12_x Int)
162
(declare-var detect_change_test.__detect_change_test_14_x Int)
163
(declare-var detect_change_test.__detect_change_test_16_x Real)
164
(declare-var detect_change_test.__detect_change_test_18_x Real)
165
(declare-var detect_change_test.__detect_change_test_2_x Bool)
166
(declare-var detect_change_test.__detect_change_test_20_x Real)
167
(declare-var detect_change_test.__detect_change_test_22_x Real)
168
(declare-var detect_change_test.__detect_change_test_24_x Real)
169
(declare-var detect_change_test.__detect_change_test_26_x Real)
170
(declare-var detect_change_test.__detect_change_test_28_x Bool)
171
(declare-var detect_change_test.__detect_change_test_30_x Int)
172
(declare-var detect_change_test.__detect_change_test_32_x Int)
173
(declare-var detect_change_test.__detect_change_test_34_x Int)
174
(declare-var detect_change_test.__detect_change_test_36_x Int)
175
(declare-var detect_change_test.__detect_change_test_38_x Int)
176
(declare-var detect_change_test.__detect_change_test_4_x Int)
177
(declare-var detect_change_test.__detect_change_test_40_x Int)
178
(declare-var detect_change_test.__detect_change_test_42_x Real)
179
(declare-var detect_change_test.__detect_change_test_44_x Real)
180
(declare-var detect_change_test.__detect_change_test_46_x Real)
181
(declare-var detect_change_test.__detect_change_test_48_x Real)
182
(declare-var detect_change_test.__detect_change_test_50_x Real)
183
(declare-var detect_change_test.__detect_change_test_52_x Real)
184
(declare-var detect_change_test.__detect_change_test_54_x Bool)
185
(declare-var detect_change_test.__detect_change_test_56_x Int)
186
(declare-var detect_change_test.__detect_change_test_58_x Int)
187
(declare-var detect_change_test.__detect_change_test_6_x Int)
188
(declare-var detect_change_test.__detect_change_test_60_x Int)
189
(declare-var detect_change_test.__detect_change_test_62_x Int)
190
(declare-var detect_change_test.__detect_change_test_64_x Int)
191
(declare-var detect_change_test.__detect_change_test_66_x Int)
192
(declare-var detect_change_test.__detect_change_test_68_x Real)
193
(declare-var detect_change_test.__detect_change_test_70_x Real)
194
(declare-var detect_change_test.__detect_change_test_72_x Real)
195
(declare-var detect_change_test.__detect_change_test_74_x Real)
196
(declare-var detect_change_test.__detect_change_test_76_x Real)
197
(declare-var detect_change_test.__detect_change_test_78_x Real)
198
(declare-var detect_change_test.__detect_change_test_8_x Int)
199
(declare-var detect_change_test.ni_0._arrow._first_x Bool)
200
(declare-var detect_change_test.DetectChange1_1_1 Bool)
201
(declare-var detect_change_test.DetectChange1_1_2 Bool)
202
(declare-var detect_change_test.DetectChange1_1_3 Bool)
203
(declare-var detect_change_test.DetectChange1_1_4 Bool)
204
(declare-var detect_change_test.DetectChange1_1_5 Bool)
205
(declare-var detect_change_test.DetectChange2_1_1 Bool)
206
(declare-var detect_change_test.DetectChange2_1_2 Bool)
207
(declare-var detect_change_test.DetectChange2_1_3 Bool)
208
(declare-var detect_change_test.DetectChange2_1_4 Bool)
209
(declare-var detect_change_test.DetectChange2_1_5 Bool)
210
(declare-var detect_change_test.DetectChange2_1_6 Bool)
211
(declare-var detect_change_test.DetectChange3_1_1 Bool)
212
(declare-var detect_change_test.DetectChange_1_1 Bool)
213
(declare-var detect_change_test.DetectDecrease1_1_1 Bool)
214
(declare-var detect_change_test.DetectDecrease1_1_2 Bool)
215
(declare-var detect_change_test.DetectDecrease1_1_3 Bool)
216
(declare-var detect_change_test.DetectDecrease1_1_4 Bool)
217
(declare-var detect_change_test.DetectDecrease1_1_5 Bool)
218
(declare-var detect_change_test.DetectDecrease2_1_1 Bool)
219
(declare-var detect_change_test.DetectDecrease2_1_2 Bool)
220
(declare-var detect_change_test.DetectDecrease2_1_3 Bool)
221
(declare-var detect_change_test.DetectDecrease2_1_4 Bool)
222
(declare-var detect_change_test.DetectDecrease2_1_5 Bool)
223
(declare-var detect_change_test.DetectDecrease2_1_6 Bool)
224
(declare-var detect_change_test.DetectDecrease3_1_1 Bool)
225
(declare-var detect_change_test.DetectDecrease_1_1 Bool)
226
(declare-var detect_change_test.DetectIncrease1_1_1 Bool)
227
(declare-var detect_change_test.DetectIncrease1_1_2 Bool)
228
(declare-var detect_change_test.DetectIncrease1_1_3 Bool)
229
(declare-var detect_change_test.DetectIncrease1_1_4 Bool)
230
(declare-var detect_change_test.DetectIncrease1_1_5 Bool)
231
(declare-var detect_change_test.DetectIncrease2_1_1 Bool)
232
(declare-var detect_change_test.DetectIncrease2_1_2 Bool)
233
(declare-var detect_change_test.DetectIncrease2_1_3 Bool)
234
(declare-var detect_change_test.DetectIncrease2_1_4 Bool)
235
(declare-var detect_change_test.DetectIncrease2_1_5 Bool)
236
(declare-var detect_change_test.DetectIncrease2_1_6 Bool)
237
(declare-var detect_change_test.DetectIncrease3_1_1 Bool)
238
(declare-var detect_change_test.DetectIncrease_1_1 Bool)
239
(declare-var detect_change_test.__detect_change_test_1 Bool)
240
(declare-var detect_change_test.__detect_change_test_11 Int)
241
(declare-var detect_change_test.__detect_change_test_13 Int)
242
(declare-var detect_change_test.__detect_change_test_15 Int)
243
(declare-var detect_change_test.__detect_change_test_17 Real)
244
(declare-var detect_change_test.__detect_change_test_19 Real)
245
(declare-var detect_change_test.__detect_change_test_21 Real)
246
(declare-var detect_change_test.__detect_change_test_23 Real)
247
(declare-var detect_change_test.__detect_change_test_25 Real)
248
(declare-var detect_change_test.__detect_change_test_27 Real)
249
(declare-var detect_change_test.__detect_change_test_29 Bool)
250
(declare-var detect_change_test.__detect_change_test_3 Bool)
251
(declare-var detect_change_test.__detect_change_test_31 Int)
252
(declare-var detect_change_test.__detect_change_test_33 Int)
253
(declare-var detect_change_test.__detect_change_test_35 Int)
254
(declare-var detect_change_test.__detect_change_test_37 Int)
255
(declare-var detect_change_test.__detect_change_test_39 Int)
256
(declare-var detect_change_test.__detect_change_test_41 Int)
257
(declare-var detect_change_test.__detect_change_test_43 Real)
258
(declare-var detect_change_test.__detect_change_test_45 Real)
259
(declare-var detect_change_test.__detect_change_test_47 Real)
260
(declare-var detect_change_test.__detect_change_test_49 Real)
261
(declare-var detect_change_test.__detect_change_test_5 Int)
262
(declare-var detect_change_test.__detect_change_test_51 Real)
263
(declare-var detect_change_test.__detect_change_test_53 Real)
264
(declare-var detect_change_test.__detect_change_test_55 Bool)
265
(declare-var detect_change_test.__detect_change_test_57 Int)
266
(declare-var detect_change_test.__detect_change_test_59 Int)
267
(declare-var detect_change_test.__detect_change_test_61 Int)
268
(declare-var detect_change_test.__detect_change_test_63 Int)
269
(declare-var detect_change_test.__detect_change_test_65 Int)
270
(declare-var detect_change_test.__detect_change_test_67 Int)
271
(declare-var detect_change_test.__detect_change_test_69 Real)
272
(declare-var detect_change_test.__detect_change_test_7 Int)
273
(declare-var detect_change_test.__detect_change_test_71 Real)
274
(declare-var detect_change_test.__detect_change_test_73 Real)
275
(declare-var detect_change_test.__detect_change_test_75 Real)
276
(declare-var detect_change_test.__detect_change_test_77 Real)
277
(declare-var detect_change_test.__detect_change_test_79 Real)
278
(declare-var detect_change_test.__detect_change_test_9 Int)
279
(declare-var detect_change_test.i_virtual_local Real)
280
(declare-rel detect_change_test_reset (Int Int Int Real Real Bool Real Real Real Real Bool Int Int Int Int Int Int Int Real Real Real Real Real Real Bool Int Int Int Int Int Int Int Real Real Real Real Real Real Int Bool Int Int Int Real Real Bool Real Real Real Real Bool Int Int Int Int Int Int Int Real Real Real Real Real Real Bool Int Int Int Int Int Int Int Real Real Real Real Real Real Int Bool))
281
(declare-rel detect_change_test_step (Real Real Real Real Real Real Int Int Int Int Int Int Real Real Real Real Real Real Int Int Int Int Int Int Real Real Real Real Real Real Int Int Int Int Int Int Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Int Int Int Real Real Bool Real Real Real Real Bool Int Int Int Int Int Int Int Real Real Real Real Real Real Bool Int Int Int Int Int Int Int Real Real Real Real Real Real Int Bool Int Int Int Real Real Bool Real Real Real Real Bool Int Int Int Int Int Int Int Real Real Real Real Real Real Bool Int Int Int Int Int Int Int Real Real Real Real Real Real Int Bool))
282

    
283
(rule (=> 
284
  (and 
285
       (= detect_change_test.__detect_change_test_10_m detect_change_test.__detect_change_test_10_c)
286
       (= detect_change_test.__detect_change_test_12_m detect_change_test.__detect_change_test_12_c)
287
       (= detect_change_test.__detect_change_test_14_m detect_change_test.__detect_change_test_14_c)
288
       (= detect_change_test.__detect_change_test_16_m detect_change_test.__detect_change_test_16_c)
289
       (= detect_change_test.__detect_change_test_18_m detect_change_test.__detect_change_test_18_c)
290
       (= detect_change_test.__detect_change_test_2_m detect_change_test.__detect_change_test_2_c)
291
       (= detect_change_test.__detect_change_test_20_m detect_change_test.__detect_change_test_20_c)
292
       (= detect_change_test.__detect_change_test_22_m detect_change_test.__detect_change_test_22_c)
293
       (= detect_change_test.__detect_change_test_24_m detect_change_test.__detect_change_test_24_c)
294
       (= detect_change_test.__detect_change_test_26_m detect_change_test.__detect_change_test_26_c)
295
       (= detect_change_test.__detect_change_test_28_m detect_change_test.__detect_change_test_28_c)
296
       (= detect_change_test.__detect_change_test_30_m detect_change_test.__detect_change_test_30_c)
297
       (= detect_change_test.__detect_change_test_32_m detect_change_test.__detect_change_test_32_c)
298
       (= detect_change_test.__detect_change_test_34_m detect_change_test.__detect_change_test_34_c)
299
       (= detect_change_test.__detect_change_test_36_m detect_change_test.__detect_change_test_36_c)
300
       (= detect_change_test.__detect_change_test_38_m detect_change_test.__detect_change_test_38_c)
301
       (= detect_change_test.__detect_change_test_4_m detect_change_test.__detect_change_test_4_c)
302
       (= detect_change_test.__detect_change_test_40_m detect_change_test.__detect_change_test_40_c)
303
       (= detect_change_test.__detect_change_test_42_m detect_change_test.__detect_change_test_42_c)
304
       (= detect_change_test.__detect_change_test_44_m detect_change_test.__detect_change_test_44_c)
305
       (= detect_change_test.__detect_change_test_46_m detect_change_test.__detect_change_test_46_c)
306
       (= detect_change_test.__detect_change_test_48_m detect_change_test.__detect_change_test_48_c)
307
       (= detect_change_test.__detect_change_test_50_m detect_change_test.__detect_change_test_50_c)
308
       (= detect_change_test.__detect_change_test_52_m detect_change_test.__detect_change_test_52_c)
309
       (= detect_change_test.__detect_change_test_54_m detect_change_test.__detect_change_test_54_c)
310
       (= detect_change_test.__detect_change_test_56_m detect_change_test.__detect_change_test_56_c)
311
       (= detect_change_test.__detect_change_test_58_m detect_change_test.__detect_change_test_58_c)
312
       (= detect_change_test.__detect_change_test_6_m detect_change_test.__detect_change_test_6_c)
313
       (= detect_change_test.__detect_change_test_60_m detect_change_test.__detect_change_test_60_c)
314
       (= detect_change_test.__detect_change_test_62_m detect_change_test.__detect_change_test_62_c)
315
       (= detect_change_test.__detect_change_test_64_m detect_change_test.__detect_change_test_64_c)
316
       (= detect_change_test.__detect_change_test_66_m detect_change_test.__detect_change_test_66_c)
317
       (= detect_change_test.__detect_change_test_68_m detect_change_test.__detect_change_test_68_c)
318
       (= detect_change_test.__detect_change_test_70_m detect_change_test.__detect_change_test_70_c)
319
       (= detect_change_test.__detect_change_test_72_m detect_change_test.__detect_change_test_72_c)
320
       (= detect_change_test.__detect_change_test_74_m detect_change_test.__detect_change_test_74_c)
321
       (= detect_change_test.__detect_change_test_76_m detect_change_test.__detect_change_test_76_c)
322
       (= detect_change_test.__detect_change_test_78_m detect_change_test.__detect_change_test_78_c)
323
       (= detect_change_test.__detect_change_test_8_m detect_change_test.__detect_change_test_8_c)
324
       (= detect_change_test.ni_0._arrow._first_m true)
325
  )
326
  (detect_change_test_reset detect_change_test.__detect_change_test_10_c
327
                            detect_change_test.__detect_change_test_12_c
328
                            detect_change_test.__detect_change_test_14_c
329
                            detect_change_test.__detect_change_test_16_c
330
                            detect_change_test.__detect_change_test_18_c
331
                            detect_change_test.__detect_change_test_2_c
332
                            detect_change_test.__detect_change_test_20_c
333
                            detect_change_test.__detect_change_test_22_c
334
                            detect_change_test.__detect_change_test_24_c
335
                            detect_change_test.__detect_change_test_26_c
336
                            detect_change_test.__detect_change_test_28_c
337
                            detect_change_test.__detect_change_test_30_c
338
                            detect_change_test.__detect_change_test_32_c
339
                            detect_change_test.__detect_change_test_34_c
340
                            detect_change_test.__detect_change_test_36_c
341
                            detect_change_test.__detect_change_test_38_c
342
                            detect_change_test.__detect_change_test_4_c
343
                            detect_change_test.__detect_change_test_40_c
344
                            detect_change_test.__detect_change_test_42_c
345
                            detect_change_test.__detect_change_test_44_c
346
                            detect_change_test.__detect_change_test_46_c
347
                            detect_change_test.__detect_change_test_48_c
348
                            detect_change_test.__detect_change_test_50_c
349
                            detect_change_test.__detect_change_test_52_c
350
                            detect_change_test.__detect_change_test_54_c
351
                            detect_change_test.__detect_change_test_56_c
352
                            detect_change_test.__detect_change_test_58_c
353
                            detect_change_test.__detect_change_test_6_c
354
                            detect_change_test.__detect_change_test_60_c
355
                            detect_change_test.__detect_change_test_62_c
356
                            detect_change_test.__detect_change_test_64_c
357
                            detect_change_test.__detect_change_test_66_c
358
                            detect_change_test.__detect_change_test_68_c
359
                            detect_change_test.__detect_change_test_70_c
360
                            detect_change_test.__detect_change_test_72_c
361
                            detect_change_test.__detect_change_test_74_c
362
                            detect_change_test.__detect_change_test_76_c
363
                            detect_change_test.__detect_change_test_78_c
364
                            detect_change_test.__detect_change_test_8_c
365
                            detect_change_test.ni_0._arrow._first_c
366
                            detect_change_test.__detect_change_test_10_m
367
                            detect_change_test.__detect_change_test_12_m
368
                            detect_change_test.__detect_change_test_14_m
369
                            detect_change_test.__detect_change_test_16_m
370
                            detect_change_test.__detect_change_test_18_m
371
                            detect_change_test.__detect_change_test_2_m
372
                            detect_change_test.__detect_change_test_20_m
373
                            detect_change_test.__detect_change_test_22_m
374
                            detect_change_test.__detect_change_test_24_m
375
                            detect_change_test.__detect_change_test_26_m
376
                            detect_change_test.__detect_change_test_28_m
377
                            detect_change_test.__detect_change_test_30_m
378
                            detect_change_test.__detect_change_test_32_m
379
                            detect_change_test.__detect_change_test_34_m
380
                            detect_change_test.__detect_change_test_36_m
381
                            detect_change_test.__detect_change_test_38_m
382
                            detect_change_test.__detect_change_test_4_m
383
                            detect_change_test.__detect_change_test_40_m
384
                            detect_change_test.__detect_change_test_42_m
385
                            detect_change_test.__detect_change_test_44_m
386
                            detect_change_test.__detect_change_test_46_m
387
                            detect_change_test.__detect_change_test_48_m
388
                            detect_change_test.__detect_change_test_50_m
389
                            detect_change_test.__detect_change_test_52_m
390
                            detect_change_test.__detect_change_test_54_m
391
                            detect_change_test.__detect_change_test_56_m
392
                            detect_change_test.__detect_change_test_58_m
393
                            detect_change_test.__detect_change_test_6_m
394
                            detect_change_test.__detect_change_test_60_m
395
                            detect_change_test.__detect_change_test_62_m
396
                            detect_change_test.__detect_change_test_64_m
397
                            detect_change_test.__detect_change_test_66_m
398
                            detect_change_test.__detect_change_test_68_m
399
                            detect_change_test.__detect_change_test_70_m
400
                            detect_change_test.__detect_change_test_72_m
401
                            detect_change_test.__detect_change_test_74_m
402
                            detect_change_test.__detect_change_test_76_m
403
                            detect_change_test.__detect_change_test_78_m
404
                            detect_change_test.__detect_change_test_8_m
405
                            detect_change_test.ni_0._arrow._first_m)
406
))
407

    
408
(rule (=> 
409
  (and (= detect_change_test.ni_0._arrow._first_m detect_change_test.ni_0._arrow._first_c)
410
       (and (= detect_change_test.__detect_change_test_1 (ite detect_change_test.ni_0._arrow._first_m true false))
411
            (= detect_change_test.ni_0._arrow._first_x false))
412
       (and (or (not (= detect_change_test.__detect_change_test_1 false))
413
               (and (= detect_change_test.i_virtual_local 1.0)
414
                    (= detect_change_test.__detect_change_test_9 detect_change_test.__detect_change_test_8_c)
415
                    ))
416
            (or (not (= detect_change_test.__detect_change_test_1 true))
417
               (and (= detect_change_test.i_virtual_local 0.0)
418
                    (= detect_change_test.__detect_change_test_9 0)
419
                    ))
420
       )
421
       (= detect_change_test.__detect_change_test_8_x detect_change_test.In9_1_4)
422
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
423
               (= detect_change_test.__detect_change_test_79 0.00000000))
424
            (or (not (= detect_change_test.__detect_change_test_1 false))
425
               (= detect_change_test.__detect_change_test_79 detect_change_test.__detect_change_test_78_c))
426
       )
427
       (= detect_change_test.__detect_change_test_78_x detect_change_test.In1_1_1)
428
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
429
               (= detect_change_test.__detect_change_test_77 0.00000000))
430
            (or (not (= detect_change_test.__detect_change_test_1 false))
431
               (= detect_change_test.__detect_change_test_77 detect_change_test.__detect_change_test_76_c))
432
       )
433
       (= detect_change_test.__detect_change_test_76_x detect_change_test.In2_1_1)
434
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
435
               (= detect_change_test.__detect_change_test_75 0.00000000))
436
            (or (not (= detect_change_test.__detect_change_test_1 false))
437
               (= detect_change_test.__detect_change_test_75 detect_change_test.__detect_change_test_74_c))
438
       )
439
       (= detect_change_test.__detect_change_test_74_x detect_change_test.In2_1_2)
440
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
441
               (= detect_change_test.__detect_change_test_73 0.00000000))
442
            (or (not (= detect_change_test.__detect_change_test_1 false))
443
               (= detect_change_test.__detect_change_test_73 detect_change_test.__detect_change_test_72_c))
444
       )
445
       (= detect_change_test.__detect_change_test_72_x detect_change_test.In2_1_3)
446
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
447
               (= detect_change_test.__detect_change_test_71 0.00000000))
448
            (or (not (= detect_change_test.__detect_change_test_1 false))
449
               (= detect_change_test.__detect_change_test_71 detect_change_test.__detect_change_test_70_c))
450
       )
451
       (= detect_change_test.__detect_change_test_70_x detect_change_test.In2_1_4)
452
       (and (or (not (= detect_change_test.__detect_change_test_1 false))
453
               (and (= detect_change_test.__detect_change_test_7 detect_change_test.__detect_change_test_6_c)
454
                    (= detect_change_test.__detect_change_test_69 detect_change_test.__detect_change_test_68_c)
455
                    ))
456
            (or (not (= detect_change_test.__detect_change_test_1 true))
457
               (and (= detect_change_test.__detect_change_test_7 0)
458
                    (= detect_change_test.__detect_change_test_69 0.00000000)
459
                    ))
460
       )
461
       (= detect_change_test.__detect_change_test_68_x detect_change_test.In2_1_5)
462
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
463
               (= detect_change_test.__detect_change_test_67 0))
464
            (or (not (= detect_change_test.__detect_change_test_1 false))
465
               (= detect_change_test.__detect_change_test_67 detect_change_test.__detect_change_test_66_c))
466
       )
467
       (= detect_change_test.__detect_change_test_66_x detect_change_test.In3_1_1)
468
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
469
               (= detect_change_test.__detect_change_test_65 0))
470
            (or (not (= detect_change_test.__detect_change_test_1 false))
471
               (= detect_change_test.__detect_change_test_65 detect_change_test.__detect_change_test_64_c))
472
       )
473
       (= detect_change_test.__detect_change_test_64_x detect_change_test.In3_1_2)
474
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
475
               (= detect_change_test.__detect_change_test_63 0))
476
            (or (not (= detect_change_test.__detect_change_test_1 false))
477
               (= detect_change_test.__detect_change_test_63 detect_change_test.__detect_change_test_62_c))
478
       )
479
       (= detect_change_test.__detect_change_test_62_x detect_change_test.In3_1_3)
480
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
481
               (= detect_change_test.__detect_change_test_61 0))
482
            (or (not (= detect_change_test.__detect_change_test_1 false))
483
               (= detect_change_test.__detect_change_test_61 detect_change_test.__detect_change_test_60_c))
484
       )
485
       (= detect_change_test.__detect_change_test_60_x detect_change_test.In3_1_4)
486
       (= detect_change_test.__detect_change_test_6_x detect_change_test.In9_1_5)
487
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
488
               (= detect_change_test.__detect_change_test_59 0))
489
            (or (not (= detect_change_test.__detect_change_test_1 false))
490
               (= detect_change_test.__detect_change_test_59 detect_change_test.__detect_change_test_58_c))
491
       )
492
       (= detect_change_test.__detect_change_test_58_x detect_change_test.In3_1_5)
493
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
494
               (= detect_change_test.__detect_change_test_57 0))
495
            (or (not (= detect_change_test.__detect_change_test_1 false))
496
               (= detect_change_test.__detect_change_test_57 detect_change_test.__detect_change_test_56_c))
497
       )
498
       (= detect_change_test.__detect_change_test_56_x detect_change_test.In3_1_6)
499
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
500
               (= detect_change_test.__detect_change_test_55 false))
501
            (or (not (= detect_change_test.__detect_change_test_1 false))
502
               (= detect_change_test.__detect_change_test_55 detect_change_test.__detect_change_test_54_c))
503
       )
504
       (= detect_change_test.__detect_change_test_54_x detect_change_test.In10_1_1)
505
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
506
               (= detect_change_test.__detect_change_test_53 0.00000000))
507
            (or (not (= detect_change_test.__detect_change_test_1 false))
508
               (= detect_change_test.__detect_change_test_53 detect_change_test.__detect_change_test_52_c))
509
       )
510
       (= detect_change_test.__detect_change_test_52_x detect_change_test.In4_1_1)
511
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
512
               (= detect_change_test.__detect_change_test_51 0.00000000))
513
            (or (not (= detect_change_test.__detect_change_test_1 false))
514
               (= detect_change_test.__detect_change_test_51 detect_change_test.__detect_change_test_50_c))
515
       )
516
       (= detect_change_test.__detect_change_test_50_x detect_change_test.In5_1_1)
517
       (and (or (not (= detect_change_test.__detect_change_test_1 false))
518
               (and (= detect_change_test.__detect_change_test_5 detect_change_test.__detect_change_test_4_c)
519
                    (= detect_change_test.__detect_change_test_49 detect_change_test.__detect_change_test_48_c)
520
                    ))
521
            (or (not (= detect_change_test.__detect_change_test_1 true))
522
               (and (= detect_change_test.__detect_change_test_5 0)
523
                    (= detect_change_test.__detect_change_test_49 0.00000000)
524
                    ))
525
       )
526
       (= detect_change_test.__detect_change_test_48_x detect_change_test.In5_1_2)
527
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
528
               (= detect_change_test.__detect_change_test_47 0.00000000))
529
            (or (not (= detect_change_test.__detect_change_test_1 false))
530
               (= detect_change_test.__detect_change_test_47 detect_change_test.__detect_change_test_46_c))
531
       )
532
       (= detect_change_test.__detect_change_test_46_x detect_change_test.In5_1_3)
533
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
534
               (= detect_change_test.__detect_change_test_45 0.00000000))
535
            (or (not (= detect_change_test.__detect_change_test_1 false))
536
               (= detect_change_test.__detect_change_test_45 detect_change_test.__detect_change_test_44_c))
537
       )
538
       (= detect_change_test.__detect_change_test_44_x detect_change_test.In5_1_4)
539
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
540
               (= detect_change_test.__detect_change_test_43 0.00000000))
541
            (or (not (= detect_change_test.__detect_change_test_1 false))
542
               (= detect_change_test.__detect_change_test_43 detect_change_test.__detect_change_test_42_c))
543
       )
544
       (= detect_change_test.__detect_change_test_42_x detect_change_test.In5_1_5)
545
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
546
               (= detect_change_test.__detect_change_test_41 0))
547
            (or (not (= detect_change_test.__detect_change_test_1 false))
548
               (= detect_change_test.__detect_change_test_41 detect_change_test.__detect_change_test_40_c))
549
       )
550
       (= detect_change_test.__detect_change_test_40_x detect_change_test.In6_1_1)
551
       (= detect_change_test.__detect_change_test_4_x detect_change_test.In9_1_6)
552
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
553
               (= detect_change_test.__detect_change_test_39 0))
554
            (or (not (= detect_change_test.__detect_change_test_1 false))
555
               (= detect_change_test.__detect_change_test_39 detect_change_test.__detect_change_test_38_c))
556
       )
557
       (= detect_change_test.__detect_change_test_38_x detect_change_test.In6_1_2)
558
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
559
               (= detect_change_test.__detect_change_test_37 0))
560
            (or (not (= detect_change_test.__detect_change_test_1 false))
561
               (= detect_change_test.__detect_change_test_37 detect_change_test.__detect_change_test_36_c))
562
       )
563
       (= detect_change_test.__detect_change_test_36_x detect_change_test.In6_1_3)
564
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
565
               (= detect_change_test.__detect_change_test_35 0))
566
            (or (not (= detect_change_test.__detect_change_test_1 false))
567
               (= detect_change_test.__detect_change_test_35 detect_change_test.__detect_change_test_34_c))
568
       )
569
       (= detect_change_test.__detect_change_test_34_x detect_change_test.In6_1_4)
570
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
571
               (= detect_change_test.__detect_change_test_33 0))
572
            (or (not (= detect_change_test.__detect_change_test_1 false))
573
               (= detect_change_test.__detect_change_test_33 detect_change_test.__detect_change_test_32_c))
574
       )
575
       (= detect_change_test.__detect_change_test_32_x detect_change_test.In6_1_5)
576
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
577
               (= detect_change_test.__detect_change_test_31 0))
578
            (or (not (= detect_change_test.__detect_change_test_1 false))
579
               (= detect_change_test.__detect_change_test_31 detect_change_test.__detect_change_test_30_c))
580
       )
581
       (= detect_change_test.__detect_change_test_30_x detect_change_test.In6_1_6)
582
       (and (or (not (= detect_change_test.__detect_change_test_1 false))
583
               (and (= detect_change_test.__detect_change_test_3 detect_change_test.__detect_change_test_2_c)
584
                    (= detect_change_test.__detect_change_test_29 detect_change_test.__detect_change_test_28_c)
585
                    ))
586
            (or (not (= detect_change_test.__detect_change_test_1 true))
587
               (and (= detect_change_test.__detect_change_test_3 false)
588
                    (= detect_change_test.__detect_change_test_29 false)
589
                    ))
590
       )
591
       (= detect_change_test.__detect_change_test_28_x detect_change_test.In11_1_1)
592
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
593
               (= detect_change_test.__detect_change_test_27 0.00000000))
594
            (or (not (= detect_change_test.__detect_change_test_1 false))
595
               (= detect_change_test.__detect_change_test_27 detect_change_test.__detect_change_test_26_c))
596
       )
597
       (= detect_change_test.__detect_change_test_26_x detect_change_test.In7_1_1)
598
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
599
               (= detect_change_test.__detect_change_test_25 0.00000000))
600
            (or (not (= detect_change_test.__detect_change_test_1 false))
601
               (= detect_change_test.__detect_change_test_25 detect_change_test.__detect_change_test_24_c))
602
       )
603
       (= detect_change_test.__detect_change_test_24_x detect_change_test.In8_1_1)
604
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
605
               (= detect_change_test.__detect_change_test_23 0.00000000))
606
            (or (not (= detect_change_test.__detect_change_test_1 false))
607
               (= detect_change_test.__detect_change_test_23 detect_change_test.__detect_change_test_22_c))
608
       )
609
       (= detect_change_test.__detect_change_test_22_x detect_change_test.In8_1_2)
610
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
611
               (= detect_change_test.__detect_change_test_21 0.00000000))
612
            (or (not (= detect_change_test.__detect_change_test_1 false))
613
               (= detect_change_test.__detect_change_test_21 detect_change_test.__detect_change_test_20_c))
614
       )
615
       (= detect_change_test.__detect_change_test_20_x detect_change_test.In8_1_3)
616
       (= detect_change_test.__detect_change_test_2_x detect_change_test.In12_1_1)
617
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
618
               (= detect_change_test.__detect_change_test_19 0.00000000))
619
            (or (not (= detect_change_test.__detect_change_test_1 false))
620
               (= detect_change_test.__detect_change_test_19 detect_change_test.__detect_change_test_18_c))
621
       )
622
       (= detect_change_test.__detect_change_test_18_x detect_change_test.In8_1_4)
623
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
624
               (= detect_change_test.__detect_change_test_17 0.00000000))
625
            (or (not (= detect_change_test.__detect_change_test_1 false))
626
               (= detect_change_test.__detect_change_test_17 detect_change_test.__detect_change_test_16_c))
627
       )
628
       (= detect_change_test.__detect_change_test_16_x detect_change_test.In8_1_5)
629
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
630
               (= detect_change_test.__detect_change_test_15 0))
631
            (or (not (= detect_change_test.__detect_change_test_1 false))
632
               (= detect_change_test.__detect_change_test_15 detect_change_test.__detect_change_test_14_c))
633
       )
634
       (= detect_change_test.__detect_change_test_14_x detect_change_test.In9_1_1)
635
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
636
               (= detect_change_test.__detect_change_test_13 0))
637
            (or (not (= detect_change_test.__detect_change_test_1 false))
638
               (= detect_change_test.__detect_change_test_13 detect_change_test.__detect_change_test_12_c))
639
       )
640
       (= detect_change_test.__detect_change_test_12_x detect_change_test.In9_1_2)
641
       (and (or (not (= detect_change_test.__detect_change_test_1 true))
642
               (= detect_change_test.__detect_change_test_11 0))
643
            (or (not (= detect_change_test.__detect_change_test_1 false))
644
               (= detect_change_test.__detect_change_test_11 detect_change_test.__detect_change_test_10_c))
645
       )
646
       (= detect_change_test.__detect_change_test_10_x detect_change_test.In9_1_3)
647
       (= detect_change_test.DetectIncrease2_1_6 (> detect_change_test.In9_1_6 detect_change_test.__detect_change_test_5))
648
       (= detect_change_test.Out9_9_6 detect_change_test.DetectIncrease2_1_6)
649
       (= detect_change_test.DetectIncrease2_1_5 (> detect_change_test.In9_1_5 detect_change_test.__detect_change_test_7))
650
       (= detect_change_test.Out9_9_5 detect_change_test.DetectIncrease2_1_5)
651
       (= detect_change_test.DetectIncrease2_1_4 (> detect_change_test.In9_1_4 detect_change_test.__detect_change_test_9))
652
       (= detect_change_test.Out9_9_4 detect_change_test.DetectIncrease2_1_4)
653
       (= detect_change_test.DetectIncrease2_1_3 (> detect_change_test.In9_1_3 detect_change_test.__detect_change_test_11))
654
       (= detect_change_test.Out9_9_3 detect_change_test.DetectIncrease2_1_3)
655
       (= detect_change_test.DetectIncrease2_1_2 (> detect_change_test.In9_1_2 detect_change_test.__detect_change_test_13))
656
       (= detect_change_test.Out9_9_2 detect_change_test.DetectIncrease2_1_2)
657
       (= detect_change_test.DetectIncrease2_1_1 (> detect_change_test.In9_1_1 detect_change_test.__detect_change_test_15))
658
       (= detect_change_test.Out9_9_1 detect_change_test.DetectIncrease2_1_1)
659
       (= detect_change_test.DetectIncrease1_1_5 (> detect_change_test.In8_1_5 detect_change_test.__detect_change_test_17))
660
       (= detect_change_test.Out8_8_5 detect_change_test.DetectIncrease1_1_5)
661
       (= detect_change_test.DetectIncrease1_1_4 (> detect_change_test.In8_1_4 detect_change_test.__detect_change_test_19))
662
       (= detect_change_test.Out8_8_4 detect_change_test.DetectIncrease1_1_4)
663
       (= detect_change_test.DetectIncrease1_1_3 (> detect_change_test.In8_1_3 detect_change_test.__detect_change_test_21))
664
       (= detect_change_test.Out8_8_3 detect_change_test.DetectIncrease1_1_3)
665
       (= detect_change_test.DetectIncrease1_1_2 (> detect_change_test.In8_1_2 detect_change_test.__detect_change_test_23))
666
       (= detect_change_test.Out8_8_2 detect_change_test.DetectIncrease1_1_2)
667
       (= detect_change_test.DetectIncrease1_1_1 (> detect_change_test.In8_1_1 detect_change_test.__detect_change_test_25))
668
       (= detect_change_test.Out8_8_1 detect_change_test.DetectIncrease1_1_1)
669
       (= detect_change_test.DetectIncrease_1_1 (> detect_change_test.In7_1_1 detect_change_test.__detect_change_test_27))
670
       (= detect_change_test.Out7_7_1 detect_change_test.DetectIncrease_1_1)
671
       (= detect_change_test.DetectDecrease2_1_6 (< detect_change_test.In6_1_6 detect_change_test.__detect_change_test_31))
672
       (= detect_change_test.Out6_6_6 detect_change_test.DetectDecrease2_1_6)
673
       (= detect_change_test.DetectDecrease2_1_5 (< detect_change_test.In6_1_5 detect_change_test.__detect_change_test_33))
674
       (= detect_change_test.Out6_6_5 detect_change_test.DetectDecrease2_1_5)
675
       (= detect_change_test.DetectDecrease2_1_4 (< detect_change_test.In6_1_4 detect_change_test.__detect_change_test_35))
676
       (= detect_change_test.Out6_6_4 detect_change_test.DetectDecrease2_1_4)
677
       (= detect_change_test.DetectDecrease2_1_3 (< detect_change_test.In6_1_3 detect_change_test.__detect_change_test_37))
678
       (= detect_change_test.Out6_6_3 detect_change_test.DetectDecrease2_1_3)
679
       (= detect_change_test.DetectDecrease2_1_2 (< detect_change_test.In6_1_2 detect_change_test.__detect_change_test_39))
680
       (= detect_change_test.Out6_6_2 detect_change_test.DetectDecrease2_1_2)
681
       (= detect_change_test.DetectDecrease2_1_1 (< detect_change_test.In6_1_1 detect_change_test.__detect_change_test_41))
682
       (= detect_change_test.Out6_6_1 detect_change_test.DetectDecrease2_1_1)
683
       (= detect_change_test.DetectDecrease1_1_5 (< detect_change_test.In5_1_5 detect_change_test.__detect_change_test_43))
684
       (= detect_change_test.Out5_5_5 detect_change_test.DetectDecrease1_1_5)
685
       (= detect_change_test.DetectDecrease1_1_4 (< detect_change_test.In5_1_4 detect_change_test.__detect_change_test_45))
686
       (= detect_change_test.Out5_5_4 detect_change_test.DetectDecrease1_1_4)
687
       (= detect_change_test.DetectDecrease1_1_3 (< detect_change_test.In5_1_3 detect_change_test.__detect_change_test_47))
688
       (= detect_change_test.Out5_5_3 detect_change_test.DetectDecrease1_1_3)
689
       (= detect_change_test.DetectDecrease1_1_2 (< detect_change_test.In5_1_2 detect_change_test.__detect_change_test_49))
690
       (= detect_change_test.Out5_5_2 detect_change_test.DetectDecrease1_1_2)
691
       (= detect_change_test.DetectDecrease1_1_1 (< detect_change_test.In5_1_1 detect_change_test.__detect_change_test_51))
692
       (= detect_change_test.Out5_5_1 detect_change_test.DetectDecrease1_1_1)
693
       (= detect_change_test.DetectDecrease_1_1 (< detect_change_test.In4_1_1 detect_change_test.__detect_change_test_53))
694
       (= detect_change_test.Out4_4_1 detect_change_test.DetectDecrease_1_1)
695
       (= detect_change_test.DetectChange2_1_6 (not (= detect_change_test.In3_1_6 detect_change_test.__detect_change_test_57)))
696
       (= detect_change_test.Out3_3_6 detect_change_test.DetectChange2_1_6)
697
       (= detect_change_test.DetectChange2_1_5 (not (= detect_change_test.In3_1_5 detect_change_test.__detect_change_test_59)))
698
       (= detect_change_test.Out3_3_5 detect_change_test.DetectChange2_1_5)
699
       (= detect_change_test.DetectChange2_1_4 (not (= detect_change_test.In3_1_4 detect_change_test.__detect_change_test_61)))
700
       (= detect_change_test.Out3_3_4 detect_change_test.DetectChange2_1_4)
701
       (= detect_change_test.DetectChange2_1_3 (not (= detect_change_test.In3_1_3 detect_change_test.__detect_change_test_63)))
702
       (= detect_change_test.Out3_3_3 detect_change_test.DetectChange2_1_3)
703
       (= detect_change_test.DetectChange2_1_2 (not (= detect_change_test.In3_1_2 detect_change_test.__detect_change_test_65)))
704
       (= detect_change_test.Out3_3_2 detect_change_test.DetectChange2_1_2)
705
       (= detect_change_test.DetectChange2_1_1 (not (= detect_change_test.In3_1_1 detect_change_test.__detect_change_test_67)))
706
       (= detect_change_test.Out3_3_1 detect_change_test.DetectChange2_1_1)
707
       (= detect_change_test.DetectChange1_1_5 (not (= detect_change_test.In2_1_5 detect_change_test.__detect_change_test_69)))
708
       (= detect_change_test.Out2_2_5 detect_change_test.DetectChange1_1_5)
709
       (= detect_change_test.DetectChange1_1_4 (not (= detect_change_test.In2_1_4 detect_change_test.__detect_change_test_71)))
710
       (= detect_change_test.Out2_2_4 detect_change_test.DetectChange1_1_4)
711
       (= detect_change_test.DetectChange1_1_3 (not (= detect_change_test.In2_1_3 detect_change_test.__detect_change_test_73)))
712
       (= detect_change_test.Out2_2_3 detect_change_test.DetectChange1_1_3)
713
       (= detect_change_test.DetectChange1_1_2 (not (= detect_change_test.In2_1_2 detect_change_test.__detect_change_test_75)))
714
       (= detect_change_test.Out2_2_2 detect_change_test.DetectChange1_1_2)
715
       (= detect_change_test.DetectChange1_1_1 (not (= detect_change_test.In2_1_1 detect_change_test.__detect_change_test_77)))
716
       (= detect_change_test.Out2_2_1 detect_change_test.DetectChange1_1_1)
717
       (= detect_change_test.DetectChange_1_1 (not (= detect_change_test.In1_1_1 detect_change_test.__detect_change_test_79)))
718
       (= detect_change_test.Out1_1_1 detect_change_test.DetectChange_1_1)
719
       (= detect_change_test.DetectIncrease3_1_1 (and detect_change_test.In12_1_1 (not detect_change_test.__detect_change_test_3)))
720
       (= detect_change_test.Out12_12_1 detect_change_test.DetectIncrease3_1_1)
721
       (= detect_change_test.DetectDecrease3_1_1 (and (not detect_change_test.In11_1_1) detect_change_test.__detect_change_test_29))
722
       (= detect_change_test.Out11_11_1 detect_change_test.DetectDecrease3_1_1)
723
       (= detect_change_test.DetectChange3_1_1 (not (= detect_change_test.In10_1_1 detect_change_test.__detect_change_test_55)))
724
       (= detect_change_test.Out10_10_1 detect_change_test.DetectChange3_1_1)
725
       )
726
  (detect_change_test_step detect_change_test.In1_1_1
727
                           detect_change_test.In2_1_1
728
                           detect_change_test.In2_1_2
729
                           detect_change_test.In2_1_3
730
                           detect_change_test.In2_1_4
731
                           detect_change_test.In2_1_5
732
                           detect_change_test.In3_1_1
733
                           detect_change_test.In3_1_2
734
                           detect_change_test.In3_1_3
735
                           detect_change_test.In3_1_4
736
                           detect_change_test.In3_1_5
737
                           detect_change_test.In3_1_6
738
                           detect_change_test.In4_1_1
739
                           detect_change_test.In5_1_1
740
                           detect_change_test.In5_1_2
741
                           detect_change_test.In5_1_3
742
                           detect_change_test.In5_1_4
743
                           detect_change_test.In5_1_5
744
                           detect_change_test.In6_1_1
745
                           detect_change_test.In6_1_2
746
                           detect_change_test.In6_1_3
747
                           detect_change_test.In6_1_4
748
                           detect_change_test.In6_1_5
749
                           detect_change_test.In6_1_6
750
                           detect_change_test.In7_1_1
751
                           detect_change_test.In8_1_1
752
                           detect_change_test.In8_1_2
753
                           detect_change_test.In8_1_3
754
                           detect_change_test.In8_1_4
755
                           detect_change_test.In8_1_5
756
                           detect_change_test.In9_1_1
757
                           detect_change_test.In9_1_2
758
                           detect_change_test.In9_1_3
759
                           detect_change_test.In9_1_4
760
                           detect_change_test.In9_1_5
761
                           detect_change_test.In9_1_6
762
                           detect_change_test.In10_1_1
763
                           detect_change_test.In11_1_1
764
                           detect_change_test.In12_1_1
765
                           detect_change_test.Out1_1_1
766
                           detect_change_test.Out2_2_1
767
                           detect_change_test.Out2_2_2
768
                           detect_change_test.Out2_2_3
769
                           detect_change_test.Out2_2_4
770
                           detect_change_test.Out2_2_5
771
                           detect_change_test.Out3_3_1
772
                           detect_change_test.Out3_3_2
773
                           detect_change_test.Out3_3_3
774
                           detect_change_test.Out3_3_4
775
                           detect_change_test.Out3_3_5
776
                           detect_change_test.Out3_3_6
777
                           detect_change_test.Out4_4_1
778
                           detect_change_test.Out5_5_1
779
                           detect_change_test.Out5_5_2
780
                           detect_change_test.Out5_5_3
781
                           detect_change_test.Out5_5_4
782
                           detect_change_test.Out5_5_5
783
                           detect_change_test.Out6_6_1
784
                           detect_change_test.Out6_6_2
785
                           detect_change_test.Out6_6_3
786
                           detect_change_test.Out6_6_4
787
                           detect_change_test.Out6_6_5
788
                           detect_change_test.Out6_6_6
789
                           detect_change_test.Out7_7_1
790
                           detect_change_test.Out8_8_1
791
                           detect_change_test.Out8_8_2
792
                           detect_change_test.Out8_8_3
793
                           detect_change_test.Out8_8_4
794
                           detect_change_test.Out8_8_5
795
                           detect_change_test.Out9_9_1
796
                           detect_change_test.Out9_9_2
797
                           detect_change_test.Out9_9_3
798
                           detect_change_test.Out9_9_4
799
                           detect_change_test.Out9_9_5
800
                           detect_change_test.Out9_9_6
801
                           detect_change_test.Out10_10_1
802
                           detect_change_test.Out11_11_1
803
                           detect_change_test.Out12_12_1
804
                           detect_change_test.__detect_change_test_10_c
805
                           detect_change_test.__detect_change_test_12_c
806
                           detect_change_test.__detect_change_test_14_c
807
                           detect_change_test.__detect_change_test_16_c
808
                           detect_change_test.__detect_change_test_18_c
809
                           detect_change_test.__detect_change_test_2_c
810
                           detect_change_test.__detect_change_test_20_c
811
                           detect_change_test.__detect_change_test_22_c
812
                           detect_change_test.__detect_change_test_24_c
813
                           detect_change_test.__detect_change_test_26_c
814
                           detect_change_test.__detect_change_test_28_c
815
                           detect_change_test.__detect_change_test_30_c
816
                           detect_change_test.__detect_change_test_32_c
817
                           detect_change_test.__detect_change_test_34_c
818
                           detect_change_test.__detect_change_test_36_c
819
                           detect_change_test.__detect_change_test_38_c
820
                           detect_change_test.__detect_change_test_4_c
821
                           detect_change_test.__detect_change_test_40_c
822
                           detect_change_test.__detect_change_test_42_c
823
                           detect_change_test.__detect_change_test_44_c
824
                           detect_change_test.__detect_change_test_46_c
825
                           detect_change_test.__detect_change_test_48_c
826
                           detect_change_test.__detect_change_test_50_c
827
                           detect_change_test.__detect_change_test_52_c
828
                           detect_change_test.__detect_change_test_54_c
829
                           detect_change_test.__detect_change_test_56_c
830
                           detect_change_test.__detect_change_test_58_c
831
                           detect_change_test.__detect_change_test_6_c
832
                           detect_change_test.__detect_change_test_60_c
833
                           detect_change_test.__detect_change_test_62_c
834
                           detect_change_test.__detect_change_test_64_c
835
                           detect_change_test.__detect_change_test_66_c
836
                           detect_change_test.__detect_change_test_68_c
837
                           detect_change_test.__detect_change_test_70_c
838
                           detect_change_test.__detect_change_test_72_c
839
                           detect_change_test.__detect_change_test_74_c
840
                           detect_change_test.__detect_change_test_76_c
841
                           detect_change_test.__detect_change_test_78_c
842
                           detect_change_test.__detect_change_test_8_c
843
                           detect_change_test.ni_0._arrow._first_c
844
                           detect_change_test.__detect_change_test_10_x
845
                           detect_change_test.__detect_change_test_12_x
846
                           detect_change_test.__detect_change_test_14_x
847
                           detect_change_test.__detect_change_test_16_x
848
                           detect_change_test.__detect_change_test_18_x
849
                           detect_change_test.__detect_change_test_2_x
850
                           detect_change_test.__detect_change_test_20_x
851
                           detect_change_test.__detect_change_test_22_x
852
                           detect_change_test.__detect_change_test_24_x
853
                           detect_change_test.__detect_change_test_26_x
854
                           detect_change_test.__detect_change_test_28_x
855
                           detect_change_test.__detect_change_test_30_x
856
                           detect_change_test.__detect_change_test_32_x
857
                           detect_change_test.__detect_change_test_34_x
858
                           detect_change_test.__detect_change_test_36_x
859
                           detect_change_test.__detect_change_test_38_x
860
                           detect_change_test.__detect_change_test_4_x
861
                           detect_change_test.__detect_change_test_40_x
862
                           detect_change_test.__detect_change_test_42_x
863
                           detect_change_test.__detect_change_test_44_x
864
                           detect_change_test.__detect_change_test_46_x
865
                           detect_change_test.__detect_change_test_48_x
866
                           detect_change_test.__detect_change_test_50_x
867
                           detect_change_test.__detect_change_test_52_x
868
                           detect_change_test.__detect_change_test_54_x
869
                           detect_change_test.__detect_change_test_56_x
870
                           detect_change_test.__detect_change_test_58_x
871
                           detect_change_test.__detect_change_test_6_x
872
                           detect_change_test.__detect_change_test_60_x
873
                           detect_change_test.__detect_change_test_62_x
874
                           detect_change_test.__detect_change_test_64_x
875
                           detect_change_test.__detect_change_test_66_x
876
                           detect_change_test.__detect_change_test_68_x
877
                           detect_change_test.__detect_change_test_70_x
878
                           detect_change_test.__detect_change_test_72_x
879
                           detect_change_test.__detect_change_test_74_x
880
                           detect_change_test.__detect_change_test_76_x
881
                           detect_change_test.__detect_change_test_78_x
882
                           detect_change_test.__detect_change_test_8_x
883
                           detect_change_test.ni_0._arrow._first_x)
884
))
885