Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_detect_rise_test / detect_rise_test.smt2 @ 6c3ea955

History | View | Annotate | Download (44.3 KB)

1
; detect_rise_test
2
(declare-var detect_rise_test.In1_1_1 Real)
3
(declare-var detect_rise_test.In2_1_1 Real)
4
(declare-var detect_rise_test.In2_1_2 Real)
5
(declare-var detect_rise_test.In2_1_3 Real)
6
(declare-var detect_rise_test.In2_1_4 Real)
7
(declare-var detect_rise_test.In2_1_5 Real)
8
(declare-var detect_rise_test.In3_1_1 Int)
9
(declare-var detect_rise_test.In3_1_2 Int)
10
(declare-var detect_rise_test.In3_1_3 Int)
11
(declare-var detect_rise_test.In3_1_4 Int)
12
(declare-var detect_rise_test.In3_1_5 Int)
13
(declare-var detect_rise_test.In3_1_6 Int)
14
(declare-var detect_rise_test.In4_1_1 Real)
15
(declare-var detect_rise_test.In5_1_1 Real)
16
(declare-var detect_rise_test.In5_1_2 Real)
17
(declare-var detect_rise_test.In5_1_3 Real)
18
(declare-var detect_rise_test.In5_1_4 Real)
19
(declare-var detect_rise_test.In5_1_5 Real)
20
(declare-var detect_rise_test.In6_1_1 Int)
21
(declare-var detect_rise_test.In6_1_2 Int)
22
(declare-var detect_rise_test.In6_1_3 Int)
23
(declare-var detect_rise_test.In6_1_4 Int)
24
(declare-var detect_rise_test.In6_1_5 Int)
25
(declare-var detect_rise_test.In6_1_6 Int)
26
(declare-var detect_rise_test.In7_1_1 Bool)
27
(declare-var detect_rise_test.In8_1_1 Bool)
28
(declare-var detect_rise_test.Out1_1_1 Bool)
29
(declare-var detect_rise_test.Out2_2_1 Bool)
30
(declare-var detect_rise_test.Out2_2_2 Bool)
31
(declare-var detect_rise_test.Out2_2_3 Bool)
32
(declare-var detect_rise_test.Out2_2_4 Bool)
33
(declare-var detect_rise_test.Out2_2_5 Bool)
34
(declare-var detect_rise_test.Out3_3_1 Bool)
35
(declare-var detect_rise_test.Out3_3_2 Bool)
36
(declare-var detect_rise_test.Out3_3_3 Bool)
37
(declare-var detect_rise_test.Out3_3_4 Bool)
38
(declare-var detect_rise_test.Out3_3_5 Bool)
39
(declare-var detect_rise_test.Out3_3_6 Bool)
40
(declare-var detect_rise_test.Out4_4_1 Bool)
41
(declare-var detect_rise_test.Out5_5_1 Bool)
42
(declare-var detect_rise_test.Out5_5_2 Bool)
43
(declare-var detect_rise_test.Out5_5_3 Bool)
44
(declare-var detect_rise_test.Out5_5_4 Bool)
45
(declare-var detect_rise_test.Out5_5_5 Bool)
46
(declare-var detect_rise_test.Out6_6_1 Bool)
47
(declare-var detect_rise_test.Out6_6_2 Bool)
48
(declare-var detect_rise_test.Out6_6_3 Bool)
49
(declare-var detect_rise_test.Out6_6_4 Bool)
50
(declare-var detect_rise_test.Out6_6_5 Bool)
51
(declare-var detect_rise_test.Out6_6_6 Bool)
52
(declare-var detect_rise_test.Out7_7_1 Bool)
53
(declare-var detect_rise_test.Out8_8_1 Bool)
54
(declare-var detect_rise_test.__detect_rise_test_11_c Int)
55
(declare-var detect_rise_test.__detect_rise_test_13_c Int)
56
(declare-var detect_rise_test.__detect_rise_test_15_c Int)
57
(declare-var detect_rise_test.__detect_rise_test_18_c Real)
58
(declare-var detect_rise_test.__detect_rise_test_2_c Bool)
59
(declare-var detect_rise_test.__detect_rise_test_20_c Real)
60
(declare-var detect_rise_test.__detect_rise_test_22_c Real)
61
(declare-var detect_rise_test.__detect_rise_test_24_c Real)
62
(declare-var detect_rise_test.__detect_rise_test_26_c Real)
63
(declare-var detect_rise_test.__detect_rise_test_28_c Real)
64
(declare-var detect_rise_test.__detect_rise_test_31_c Int)
65
(declare-var detect_rise_test.__detect_rise_test_33_c Int)
66
(declare-var detect_rise_test.__detect_rise_test_35_c Int)
67
(declare-var detect_rise_test.__detect_rise_test_37_c Int)
68
(declare-var detect_rise_test.__detect_rise_test_39_c Int)
69
(declare-var detect_rise_test.__detect_rise_test_41_c Int)
70
(declare-var detect_rise_test.__detect_rise_test_43_c Real)
71
(declare-var detect_rise_test.__detect_rise_test_45_c Real)
72
(declare-var detect_rise_test.__detect_rise_test_47_c Real)
73
(declare-var detect_rise_test.__detect_rise_test_49_c Real)
74
(declare-var detect_rise_test.__detect_rise_test_5_c Int)
75
(declare-var detect_rise_test.__detect_rise_test_51_c Real)
76
(declare-var detect_rise_test.__detect_rise_test_53_c Real)
77
(declare-var detect_rise_test.__detect_rise_test_7_c Int)
78
(declare-var detect_rise_test.__detect_rise_test_9_c Int)
79
(declare-var detect_rise_test.ni_0._arrow._first_c Bool)
80
(declare-var detect_rise_test.__detect_rise_test_11_m Int)
81
(declare-var detect_rise_test.__detect_rise_test_13_m Int)
82
(declare-var detect_rise_test.__detect_rise_test_15_m Int)
83
(declare-var detect_rise_test.__detect_rise_test_18_m Real)
84
(declare-var detect_rise_test.__detect_rise_test_2_m Bool)
85
(declare-var detect_rise_test.__detect_rise_test_20_m Real)
86
(declare-var detect_rise_test.__detect_rise_test_22_m Real)
87
(declare-var detect_rise_test.__detect_rise_test_24_m Real)
88
(declare-var detect_rise_test.__detect_rise_test_26_m Real)
89
(declare-var detect_rise_test.__detect_rise_test_28_m Real)
90
(declare-var detect_rise_test.__detect_rise_test_31_m Int)
91
(declare-var detect_rise_test.__detect_rise_test_33_m Int)
92
(declare-var detect_rise_test.__detect_rise_test_35_m Int)
93
(declare-var detect_rise_test.__detect_rise_test_37_m Int)
94
(declare-var detect_rise_test.__detect_rise_test_39_m Int)
95
(declare-var detect_rise_test.__detect_rise_test_41_m Int)
96
(declare-var detect_rise_test.__detect_rise_test_43_m Real)
97
(declare-var detect_rise_test.__detect_rise_test_45_m Real)
98
(declare-var detect_rise_test.__detect_rise_test_47_m Real)
99
(declare-var detect_rise_test.__detect_rise_test_49_m Real)
100
(declare-var detect_rise_test.__detect_rise_test_5_m Int)
101
(declare-var detect_rise_test.__detect_rise_test_51_m Real)
102
(declare-var detect_rise_test.__detect_rise_test_53_m Real)
103
(declare-var detect_rise_test.__detect_rise_test_7_m Int)
104
(declare-var detect_rise_test.__detect_rise_test_9_m Int)
105
(declare-var detect_rise_test.ni_0._arrow._first_m Bool)
106
(declare-var detect_rise_test.__detect_rise_test_11_x Int)
107
(declare-var detect_rise_test.__detect_rise_test_13_x Int)
108
(declare-var detect_rise_test.__detect_rise_test_15_x Int)
109
(declare-var detect_rise_test.__detect_rise_test_18_x Real)
110
(declare-var detect_rise_test.__detect_rise_test_2_x Bool)
111
(declare-var detect_rise_test.__detect_rise_test_20_x Real)
112
(declare-var detect_rise_test.__detect_rise_test_22_x Real)
113
(declare-var detect_rise_test.__detect_rise_test_24_x Real)
114
(declare-var detect_rise_test.__detect_rise_test_26_x Real)
115
(declare-var detect_rise_test.__detect_rise_test_28_x Real)
116
(declare-var detect_rise_test.__detect_rise_test_31_x Int)
117
(declare-var detect_rise_test.__detect_rise_test_33_x Int)
118
(declare-var detect_rise_test.__detect_rise_test_35_x Int)
119
(declare-var detect_rise_test.__detect_rise_test_37_x Int)
120
(declare-var detect_rise_test.__detect_rise_test_39_x Int)
121
(declare-var detect_rise_test.__detect_rise_test_41_x Int)
122
(declare-var detect_rise_test.__detect_rise_test_43_x Real)
123
(declare-var detect_rise_test.__detect_rise_test_45_x Real)
124
(declare-var detect_rise_test.__detect_rise_test_47_x Real)
125
(declare-var detect_rise_test.__detect_rise_test_49_x Real)
126
(declare-var detect_rise_test.__detect_rise_test_5_x Int)
127
(declare-var detect_rise_test.__detect_rise_test_51_x Real)
128
(declare-var detect_rise_test.__detect_rise_test_53_x Real)
129
(declare-var detect_rise_test.__detect_rise_test_7_x Int)
130
(declare-var detect_rise_test.__detect_rise_test_9_x Int)
131
(declare-var detect_rise_test.ni_0._arrow._first_x Bool)
132
(declare-var detect_rise_test.DetectRiseNonnegative1_1_1 Bool)
133
(declare-var detect_rise_test.DetectRiseNonnegative1_1_2 Bool)
134
(declare-var detect_rise_test.DetectRiseNonnegative1_1_3 Bool)
135
(declare-var detect_rise_test.DetectRiseNonnegative1_1_4 Bool)
136
(declare-var detect_rise_test.DetectRiseNonnegative1_1_5 Bool)
137
(declare-var detect_rise_test.DetectRiseNonnegative2_1_1 Bool)
138
(declare-var detect_rise_test.DetectRiseNonnegative2_1_2 Bool)
139
(declare-var detect_rise_test.DetectRiseNonnegative2_1_3 Bool)
140
(declare-var detect_rise_test.DetectRiseNonnegative2_1_4 Bool)
141
(declare-var detect_rise_test.DetectRiseNonnegative2_1_5 Bool)
142
(declare-var detect_rise_test.DetectRiseNonnegative2_1_6 Bool)
143
(declare-var detect_rise_test.DetectRiseNonnegative3_1_1 Bool)
144
(declare-var detect_rise_test.DetectRiseNonnegative_1_1 Bool)
145
(declare-var detect_rise_test.DetectRisePositive1_1_1 Bool)
146
(declare-var detect_rise_test.DetectRisePositive1_1_2 Bool)
147
(declare-var detect_rise_test.DetectRisePositive1_1_3 Bool)
148
(declare-var detect_rise_test.DetectRisePositive1_1_4 Bool)
149
(declare-var detect_rise_test.DetectRisePositive1_1_5 Bool)
150
(declare-var detect_rise_test.DetectRisePositive2_1_1 Bool)
151
(declare-var detect_rise_test.DetectRisePositive2_1_2 Bool)
152
(declare-var detect_rise_test.DetectRisePositive2_1_3 Bool)
153
(declare-var detect_rise_test.DetectRisePositive2_1_4 Bool)
154
(declare-var detect_rise_test.DetectRisePositive2_1_5 Bool)
155
(declare-var detect_rise_test.DetectRisePositive2_1_6 Bool)
156
(declare-var detect_rise_test.DetectRisePositive3_1_1 Bool)
157
(declare-var detect_rise_test.DetectRisePositive_1_1 Bool)
158
(declare-var detect_rise_test.__detect_rise_test_1 Bool)
159
(declare-var detect_rise_test.__detect_rise_test_10 Bool)
160
(declare-var detect_rise_test.__detect_rise_test_12 Bool)
161
(declare-var detect_rise_test.__detect_rise_test_14 Bool)
162
(declare-var detect_rise_test.__detect_rise_test_16 Bool)
163
(declare-var detect_rise_test.__detect_rise_test_17 Bool)
164
(declare-var detect_rise_test.__detect_rise_test_19 Bool)
165
(declare-var detect_rise_test.__detect_rise_test_21 Bool)
166
(declare-var detect_rise_test.__detect_rise_test_23 Bool)
167
(declare-var detect_rise_test.__detect_rise_test_25 Bool)
168
(declare-var detect_rise_test.__detect_rise_test_27 Bool)
169
(declare-var detect_rise_test.__detect_rise_test_29 Bool)
170
(declare-var detect_rise_test.__detect_rise_test_3 Bool)
171
(declare-var detect_rise_test.__detect_rise_test_30 Bool)
172
(declare-var detect_rise_test.__detect_rise_test_32 Bool)
173
(declare-var detect_rise_test.__detect_rise_test_34 Bool)
174
(declare-var detect_rise_test.__detect_rise_test_36 Bool)
175
(declare-var detect_rise_test.__detect_rise_test_38 Bool)
176
(declare-var detect_rise_test.__detect_rise_test_4 Bool)
177
(declare-var detect_rise_test.__detect_rise_test_40 Bool)
178
(declare-var detect_rise_test.__detect_rise_test_42 Bool)
179
(declare-var detect_rise_test.__detect_rise_test_44 Bool)
180
(declare-var detect_rise_test.__detect_rise_test_46 Bool)
181
(declare-var detect_rise_test.__detect_rise_test_48 Bool)
182
(declare-var detect_rise_test.__detect_rise_test_50 Bool)
183
(declare-var detect_rise_test.__detect_rise_test_52 Bool)
184
(declare-var detect_rise_test.__detect_rise_test_54 Bool)
185
(declare-var detect_rise_test.__detect_rise_test_6 Bool)
186
(declare-var detect_rise_test.__detect_rise_test_8 Bool)
187
(declare-var detect_rise_test.i_virtual_local Real)
188
(declare-rel detect_rise_test_reset (Int Int Int Real Bool Real Real Real Real Real Int Int Int Int Int Int Real Real Real Real Int Real Real Int Int Bool Int Int Int Real Bool Real Real Real Real Real Int Int Int Int Int Int Real Real Real Real Int Real Real Int Int Bool))
189
(declare-rel detect_rise_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 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 Bool Real Real Real Real Real Int Int Int Int Int Int Real Real Real Real Int Real Real Int Int Bool Int Int Int Real Bool Real Real Real Real Real Int Int Int Int Int Int Real Real Real Real Int Real Real Int Int Bool))
190

    
191
(rule (=> 
192
  (and 
193
       (= detect_rise_test.__detect_rise_test_11_m detect_rise_test.__detect_rise_test_11_c)
194
       (= detect_rise_test.__detect_rise_test_13_m detect_rise_test.__detect_rise_test_13_c)
195
       (= detect_rise_test.__detect_rise_test_15_m detect_rise_test.__detect_rise_test_15_c)
196
       (= detect_rise_test.__detect_rise_test_18_m detect_rise_test.__detect_rise_test_18_c)
197
       (= detect_rise_test.__detect_rise_test_2_m detect_rise_test.__detect_rise_test_2_c)
198
       (= detect_rise_test.__detect_rise_test_20_m detect_rise_test.__detect_rise_test_20_c)
199
       (= detect_rise_test.__detect_rise_test_22_m detect_rise_test.__detect_rise_test_22_c)
200
       (= detect_rise_test.__detect_rise_test_24_m detect_rise_test.__detect_rise_test_24_c)
201
       (= detect_rise_test.__detect_rise_test_26_m detect_rise_test.__detect_rise_test_26_c)
202
       (= detect_rise_test.__detect_rise_test_28_m detect_rise_test.__detect_rise_test_28_c)
203
       (= detect_rise_test.__detect_rise_test_31_m detect_rise_test.__detect_rise_test_31_c)
204
       (= detect_rise_test.__detect_rise_test_33_m detect_rise_test.__detect_rise_test_33_c)
205
       (= detect_rise_test.__detect_rise_test_35_m detect_rise_test.__detect_rise_test_35_c)
206
       (= detect_rise_test.__detect_rise_test_37_m detect_rise_test.__detect_rise_test_37_c)
207
       (= detect_rise_test.__detect_rise_test_39_m detect_rise_test.__detect_rise_test_39_c)
208
       (= detect_rise_test.__detect_rise_test_41_m detect_rise_test.__detect_rise_test_41_c)
209
       (= detect_rise_test.__detect_rise_test_43_m detect_rise_test.__detect_rise_test_43_c)
210
       (= detect_rise_test.__detect_rise_test_45_m detect_rise_test.__detect_rise_test_45_c)
211
       (= detect_rise_test.__detect_rise_test_47_m detect_rise_test.__detect_rise_test_47_c)
212
       (= detect_rise_test.__detect_rise_test_49_m detect_rise_test.__detect_rise_test_49_c)
213
       (= detect_rise_test.__detect_rise_test_5_m detect_rise_test.__detect_rise_test_5_c)
214
       (= detect_rise_test.__detect_rise_test_51_m detect_rise_test.__detect_rise_test_51_c)
215
       (= detect_rise_test.__detect_rise_test_53_m detect_rise_test.__detect_rise_test_53_c)
216
       (= detect_rise_test.__detect_rise_test_7_m detect_rise_test.__detect_rise_test_7_c)
217
       (= detect_rise_test.__detect_rise_test_9_m detect_rise_test.__detect_rise_test_9_c)
218
       (= detect_rise_test.ni_0._arrow._first_m true)
219
  )
220
  (detect_rise_test_reset detect_rise_test.__detect_rise_test_11_c
221
                          detect_rise_test.__detect_rise_test_13_c
222
                          detect_rise_test.__detect_rise_test_15_c
223
                          detect_rise_test.__detect_rise_test_18_c
224
                          detect_rise_test.__detect_rise_test_2_c
225
                          detect_rise_test.__detect_rise_test_20_c
226
                          detect_rise_test.__detect_rise_test_22_c
227
                          detect_rise_test.__detect_rise_test_24_c
228
                          detect_rise_test.__detect_rise_test_26_c
229
                          detect_rise_test.__detect_rise_test_28_c
230
                          detect_rise_test.__detect_rise_test_31_c
231
                          detect_rise_test.__detect_rise_test_33_c
232
                          detect_rise_test.__detect_rise_test_35_c
233
                          detect_rise_test.__detect_rise_test_37_c
234
                          detect_rise_test.__detect_rise_test_39_c
235
                          detect_rise_test.__detect_rise_test_41_c
236
                          detect_rise_test.__detect_rise_test_43_c
237
                          detect_rise_test.__detect_rise_test_45_c
238
                          detect_rise_test.__detect_rise_test_47_c
239
                          detect_rise_test.__detect_rise_test_49_c
240
                          detect_rise_test.__detect_rise_test_5_c
241
                          detect_rise_test.__detect_rise_test_51_c
242
                          detect_rise_test.__detect_rise_test_53_c
243
                          detect_rise_test.__detect_rise_test_7_c
244
                          detect_rise_test.__detect_rise_test_9_c
245
                          detect_rise_test.ni_0._arrow._first_c
246
                          detect_rise_test.__detect_rise_test_11_m
247
                          detect_rise_test.__detect_rise_test_13_m
248
                          detect_rise_test.__detect_rise_test_15_m
249
                          detect_rise_test.__detect_rise_test_18_m
250
                          detect_rise_test.__detect_rise_test_2_m
251
                          detect_rise_test.__detect_rise_test_20_m
252
                          detect_rise_test.__detect_rise_test_22_m
253
                          detect_rise_test.__detect_rise_test_24_m
254
                          detect_rise_test.__detect_rise_test_26_m
255
                          detect_rise_test.__detect_rise_test_28_m
256
                          detect_rise_test.__detect_rise_test_31_m
257
                          detect_rise_test.__detect_rise_test_33_m
258
                          detect_rise_test.__detect_rise_test_35_m
259
                          detect_rise_test.__detect_rise_test_37_m
260
                          detect_rise_test.__detect_rise_test_39_m
261
                          detect_rise_test.__detect_rise_test_41_m
262
                          detect_rise_test.__detect_rise_test_43_m
263
                          detect_rise_test.__detect_rise_test_45_m
264
                          detect_rise_test.__detect_rise_test_47_m
265
                          detect_rise_test.__detect_rise_test_49_m
266
                          detect_rise_test.__detect_rise_test_5_m
267
                          detect_rise_test.__detect_rise_test_51_m
268
                          detect_rise_test.__detect_rise_test_53_m
269
                          detect_rise_test.__detect_rise_test_7_m
270
                          detect_rise_test.__detect_rise_test_9_m
271
                          detect_rise_test.ni_0._arrow._first_m)
272
))
273

    
274
(rule (=> 
275
  (and (= detect_rise_test.ni_0._arrow._first_m detect_rise_test.ni_0._arrow._first_c)
276
       (and (= detect_rise_test.__detect_rise_test_1 (ite detect_rise_test.ni_0._arrow._first_m true false))
277
            (= detect_rise_test.ni_0._arrow._first_x false))
278
       (and (or (not (= detect_rise_test.__detect_rise_test_1 true))
279
               (= detect_rise_test.i_virtual_local 0.0))
280
            (or (not (= detect_rise_test.__detect_rise_test_1 false))
281
               (= detect_rise_test.i_virtual_local 1.0))
282
       )
283
       (= detect_rise_test.__detect_rise_test_4 (= 0 0))
284
       (and (or (not (= detect_rise_test.__detect_rise_test_1 true))
285
               (and (or (not (= detect_rise_test.__detect_rise_test_4 true))
286
                       (= detect_rise_test.__detect_rise_test_10 false))
287
                    (or (not (= detect_rise_test.__detect_rise_test_4 false))
288
                       (= detect_rise_test.__detect_rise_test_10 true))
289
               ))
290
            (or (not (= detect_rise_test.__detect_rise_test_1 false))
291
               (= detect_rise_test.__detect_rise_test_10 (> detect_rise_test.__detect_rise_test_9_c 0)))
292
       )
293
       (= detect_rise_test.__detect_rise_test_9_x detect_rise_test.In3_1_4)
294
       (and (or (not (= detect_rise_test.__detect_rise_test_1 true))
295
               (and (or (not (= detect_rise_test.__detect_rise_test_4 true))
296
                       (= detect_rise_test.__detect_rise_test_8 false))
297
                    (or (not (= detect_rise_test.__detect_rise_test_4 false))
298
                       (= detect_rise_test.__detect_rise_test_8 true))
299
               ))
300
            (or (not (= detect_rise_test.__detect_rise_test_1 false))
301
               (= detect_rise_test.__detect_rise_test_8 (> detect_rise_test.__detect_rise_test_7_c 0)))
302
       )
303
       (= detect_rise_test.__detect_rise_test_7_x detect_rise_test.In3_1_5)
304
       (and (or (not (= detect_rise_test.__detect_rise_test_1 true))
305
               (and (or (not (= detect_rise_test.__detect_rise_test_4 true))
306
                       (= detect_rise_test.__detect_rise_test_6 false))
307
                    (or (not (= detect_rise_test.__detect_rise_test_4 false))
308
                       (= detect_rise_test.__detect_rise_test_6 true))
309
               ))
310
            (or (not (= detect_rise_test.__detect_rise_test_1 false))
311
               (= detect_rise_test.__detect_rise_test_6 (> detect_rise_test.__detect_rise_test_5_c 0)))
312
       )
313
       (= detect_rise_test.__detect_rise_test_17 (= 0.00000000 0.0))
314
       (and (or (not (= detect_rise_test.__detect_rise_test_1 true))
315
               (and (or (not (= detect_rise_test.__detect_rise_test_17 true))
316
                       (= detect_rise_test.__detect_rise_test_54 false))
317
                    (or (not (= detect_rise_test.__detect_rise_test_17 false))
318
                       (= detect_rise_test.__detect_rise_test_54 true))
319
               ))
320
            (or (not (= detect_rise_test.__detect_rise_test_1 false))
321
               (= detect_rise_test.__detect_rise_test_54 (>= detect_rise_test.__detect_rise_test_53_c 0.0)))
322
       )
323
       (= detect_rise_test.__detect_rise_test_53_x detect_rise_test.In4_1_1)
324
       (and (or (not (= detect_rise_test.__detect_rise_test_1 true))
325
               (and (or (not (= detect_rise_test.__detect_rise_test_17 true))
326
                       (= detect_rise_test.__detect_rise_test_52 false))
327
                    (or (not (= detect_rise_test.__detect_rise_test_17 false))
328
                       (= detect_rise_test.__detect_rise_test_52 true))
329
               ))
330
            (or (not (= detect_rise_test.__detect_rise_test_1 false))
331
               (= detect_rise_test.__detect_rise_test_52 (>= detect_rise_test.__detect_rise_test_51_c 0.0)))
332
       )
333
       (= detect_rise_test.__detect_rise_test_51_x detect_rise_test.In5_1_1)
334
       (and (or (not (= detect_rise_test.__detect_rise_test_1 true))
335
               (and (or (not (= detect_rise_test.__detect_rise_test_17 true))
336
                       (= detect_rise_test.__detect_rise_test_50 false))
337
                    (or (not (= detect_rise_test.__detect_rise_test_17 false))
338
                       (= detect_rise_test.__detect_rise_test_50 true))
339
               ))
340
            (or (not (= detect_rise_test.__detect_rise_test_1 false))
341
               (= detect_rise_test.__detect_rise_test_50 (>= detect_rise_test.__detect_rise_test_49_c 0.0)))
342
       )
343
       (= detect_rise_test.__detect_rise_test_5_x detect_rise_test.In3_1_6)
344
       (= detect_rise_test.__detect_rise_test_49_x detect_rise_test.In5_1_2)
345
       (and (or (not (= detect_rise_test.__detect_rise_test_1 true))
346
               (and (or (not (= detect_rise_test.__detect_rise_test_17 true))
347
                       (= detect_rise_test.__detect_rise_test_48 false))
348
                    (or (not (= detect_rise_test.__detect_rise_test_17 false))
349
                       (= detect_rise_test.__detect_rise_test_48 true))
350
               ))
351
            (or (not (= detect_rise_test.__detect_rise_test_1 false))
352
               (= detect_rise_test.__detect_rise_test_48 (>= detect_rise_test.__detect_rise_test_47_c 0.0)))
353
       )
354
       (= detect_rise_test.__detect_rise_test_47_x detect_rise_test.In5_1_3)
355
       (and (or (not (= detect_rise_test.__detect_rise_test_1 true))
356
               (and (or (not (= detect_rise_test.__detect_rise_test_17 true))
357
                       (= detect_rise_test.__detect_rise_test_46 false))
358
                    (or (not (= detect_rise_test.__detect_rise_test_17 false))
359
                       (= detect_rise_test.__detect_rise_test_46 true))
360
               ))
361
            (or (not (= detect_rise_test.__detect_rise_test_1 false))
362
               (= detect_rise_test.__detect_rise_test_46 (>= detect_rise_test.__detect_rise_test_45_c 0.0)))
363
       )
364
       (= detect_rise_test.__detect_rise_test_45_x detect_rise_test.In5_1_4)
365
       (and (or (not (= detect_rise_test.__detect_rise_test_1 true))
366
               (and (or (not (= detect_rise_test.__detect_rise_test_17 true))
367
                       (= detect_rise_test.__detect_rise_test_44 false))
368
                    (or (not (= detect_rise_test.__detect_rise_test_17 false))
369
                       (= detect_rise_test.__detect_rise_test_44 true))
370
               ))
371
            (or (not (= detect_rise_test.__detect_rise_test_1 false))
372
               (= detect_rise_test.__detect_rise_test_44 (>= detect_rise_test.__detect_rise_test_43_c 0.0)))
373
       )
374
       (= detect_rise_test.__detect_rise_test_43_x detect_rise_test.In5_1_5)
375
       (and (or (not (= detect_rise_test.__detect_rise_test_1 true))
376
               (and (or (not (= detect_rise_test.__detect_rise_test_4 true))
377
                       (= detect_rise_test.__detect_rise_test_42 false))
378
                    (or (not (= detect_rise_test.__detect_rise_test_4 false))
379
                       (= detect_rise_test.__detect_rise_test_42 true))
380
               ))
381
            (or (not (= detect_rise_test.__detect_rise_test_1 false))
382
               (= detect_rise_test.__detect_rise_test_42 (>= detect_rise_test.__detect_rise_test_41_c 0)))
383
       )
384
       (= detect_rise_test.__detect_rise_test_41_x detect_rise_test.In6_1_1)
385
       (and (or (not (= detect_rise_test.__detect_rise_test_1 true))
386
               (and (or (not (= detect_rise_test.__detect_rise_test_4 true))
387
                       (= detect_rise_test.__detect_rise_test_40 false))
388
                    (or (not (= detect_rise_test.__detect_rise_test_4 false))
389
                       (= detect_rise_test.__detect_rise_test_40 true))
390
               ))
391
            (or (not (= detect_rise_test.__detect_rise_test_1 false))
392
               (= detect_rise_test.__detect_rise_test_40 (>= detect_rise_test.__detect_rise_test_39_c 0)))
393
       )
394
       (= detect_rise_test.__detect_rise_test_39_x detect_rise_test.In6_1_2)
395
       (and (or (not (= detect_rise_test.__detect_rise_test_1 true))
396
               (and (or (not (= detect_rise_test.__detect_rise_test_4 true))
397
                       (= detect_rise_test.__detect_rise_test_38 false))
398
                    (or (not (= detect_rise_test.__detect_rise_test_4 false))
399
                       (= detect_rise_test.__detect_rise_test_38 true))
400
               ))
401
            (or (not (= detect_rise_test.__detect_rise_test_1 false))
402
               (= detect_rise_test.__detect_rise_test_38 (>= detect_rise_test.__detect_rise_test_37_c 0)))
403
       )
404
       (= detect_rise_test.__detect_rise_test_37_x detect_rise_test.In6_1_3)
405
       (and (or (not (= detect_rise_test.__detect_rise_test_1 true))
406
               (and (or (not (= detect_rise_test.__detect_rise_test_4 true))
407
                       (= detect_rise_test.__detect_rise_test_36 false))
408
                    (or (not (= detect_rise_test.__detect_rise_test_4 false))
409
                       (= detect_rise_test.__detect_rise_test_36 true))
410
               ))
411
            (or (not (= detect_rise_test.__detect_rise_test_1 false))
412
               (= detect_rise_test.__detect_rise_test_36 (>= detect_rise_test.__detect_rise_test_35_c 0)))
413
       )
414
       (= detect_rise_test.__detect_rise_test_35_x detect_rise_test.In6_1_4)
415
       (and (or (not (= detect_rise_test.__detect_rise_test_1 true))
416
               (and (or (not (= detect_rise_test.__detect_rise_test_4 true))
417
                       (= detect_rise_test.__detect_rise_test_34 false))
418
                    (or (not (= detect_rise_test.__detect_rise_test_4 false))
419
                       (= detect_rise_test.__detect_rise_test_34 true))
420
               ))
421
            (or (not (= detect_rise_test.__detect_rise_test_1 false))
422
               (= detect_rise_test.__detect_rise_test_34 (>= detect_rise_test.__detect_rise_test_33_c 0)))
423
       )
424
       (= detect_rise_test.__detect_rise_test_33_x detect_rise_test.In6_1_5)
425
       (and (or (not (= detect_rise_test.__detect_rise_test_1 true))
426
               (and (or (not (= detect_rise_test.__detect_rise_test_4 true))
427
                       (= detect_rise_test.__detect_rise_test_32 false))
428
                    (or (not (= detect_rise_test.__detect_rise_test_4 false))
429
                       (= detect_rise_test.__detect_rise_test_32 true))
430
               ))
431
            (or (not (= detect_rise_test.__detect_rise_test_1 false))
432
               (= detect_rise_test.__detect_rise_test_32 (>= detect_rise_test.__detect_rise_test_31_c 0)))
433
       )
434
       (= detect_rise_test.__detect_rise_test_31_x detect_rise_test.In6_1_6)
435
       (and (or (not (= detect_rise_test.__detect_rise_test_1 false))
436
               (and (= detect_rise_test.__detect_rise_test_30 true)
437
                    (= detect_rise_test.__detect_rise_test_3 detect_rise_test.__detect_rise_test_2_c)
438
                    (= detect_rise_test.__detect_rise_test_29 (> detect_rise_test.__detect_rise_test_28_c 0.0))
439
                    ))
440
            (or (not (= detect_rise_test.__detect_rise_test_1 true))
441
               (and (= detect_rise_test.__detect_rise_test_30 false)
442
                    (= detect_rise_test.__detect_rise_test_3 false)
443
                    (and (or (not (= detect_rise_test.__detect_rise_test_17 true))
444
                            (= detect_rise_test.__detect_rise_test_29 false))
445
                         (or (not (= detect_rise_test.__detect_rise_test_17 false))
446
                            (= detect_rise_test.__detect_rise_test_29 true))
447
                    )
448
                    ))
449
       )
450
       (= detect_rise_test.__detect_rise_test_28_x detect_rise_test.In1_1_1)
451
       (and (or (not (= detect_rise_test.__detect_rise_test_1 true))
452
               (and (or (not (= detect_rise_test.__detect_rise_test_17 true))
453
                       (= detect_rise_test.__detect_rise_test_27 false))
454
                    (or (not (= detect_rise_test.__detect_rise_test_17 false))
455
                       (= detect_rise_test.__detect_rise_test_27 true))
456
               ))
457
            (or (not (= detect_rise_test.__detect_rise_test_1 false))
458
               (= detect_rise_test.__detect_rise_test_27 (> detect_rise_test.__detect_rise_test_26_c 0.0)))
459
       )
460
       (= detect_rise_test.__detect_rise_test_26_x detect_rise_test.In2_1_1)
461
       (and (or (not (= detect_rise_test.__detect_rise_test_1 true))
462
               (and (or (not (= detect_rise_test.__detect_rise_test_17 true))
463
                       (= detect_rise_test.__detect_rise_test_25 false))
464
                    (or (not (= detect_rise_test.__detect_rise_test_17 false))
465
                       (= detect_rise_test.__detect_rise_test_25 true))
466
               ))
467
            (or (not (= detect_rise_test.__detect_rise_test_1 false))
468
               (= detect_rise_test.__detect_rise_test_25 (> detect_rise_test.__detect_rise_test_24_c 0.0)))
469
       )
470
       (= detect_rise_test.__detect_rise_test_24_x detect_rise_test.In2_1_2)
471
       (and (or (not (= detect_rise_test.__detect_rise_test_1 true))
472
               (and (or (not (= detect_rise_test.__detect_rise_test_17 true))
473
                       (= detect_rise_test.__detect_rise_test_23 false))
474
                    (or (not (= detect_rise_test.__detect_rise_test_17 false))
475
                       (= detect_rise_test.__detect_rise_test_23 true))
476
               ))
477
            (or (not (= detect_rise_test.__detect_rise_test_1 false))
478
               (= detect_rise_test.__detect_rise_test_23 (> detect_rise_test.__detect_rise_test_22_c 0.0)))
479
       )
480
       (= detect_rise_test.__detect_rise_test_22_x detect_rise_test.In2_1_3)
481
       (and (or (not (= detect_rise_test.__detect_rise_test_1 true))
482
               (and (or (not (= detect_rise_test.__detect_rise_test_17 true))
483
                       (= detect_rise_test.__detect_rise_test_21 false))
484
                    (or (not (= detect_rise_test.__detect_rise_test_17 false))
485
                       (= detect_rise_test.__detect_rise_test_21 true))
486
               ))
487
            (or (not (= detect_rise_test.__detect_rise_test_1 false))
488
               (= detect_rise_test.__detect_rise_test_21 (> detect_rise_test.__detect_rise_test_20_c 0.0)))
489
       )
490
       (= detect_rise_test.__detect_rise_test_20_x detect_rise_test.In2_1_4)
491
       (= detect_rise_test.__detect_rise_test_2_x detect_rise_test.In7_1_1)
492
       (and (or (not (= detect_rise_test.__detect_rise_test_1 true))
493
               (and (or (not (= detect_rise_test.__detect_rise_test_17 true))
494
                       (= detect_rise_test.__detect_rise_test_19 false))
495
                    (or (not (= detect_rise_test.__detect_rise_test_17 false))
496
                       (= detect_rise_test.__detect_rise_test_19 true))
497
               ))
498
            (or (not (= detect_rise_test.__detect_rise_test_1 false))
499
               (= detect_rise_test.__detect_rise_test_19 (> detect_rise_test.__detect_rise_test_18_c 0.0)))
500
       )
501
       (= detect_rise_test.__detect_rise_test_18_x detect_rise_test.In2_1_5)
502
       (and (or (not (= detect_rise_test.__detect_rise_test_1 true))
503
               (and (or (not (= detect_rise_test.__detect_rise_test_4 true))
504
                       (= detect_rise_test.__detect_rise_test_16 false))
505
                    (or (not (= detect_rise_test.__detect_rise_test_4 false))
506
                       (= detect_rise_test.__detect_rise_test_16 true))
507
               ))
508
            (or (not (= detect_rise_test.__detect_rise_test_1 false))
509
               (= detect_rise_test.__detect_rise_test_16 (> detect_rise_test.__detect_rise_test_15_c 0)))
510
       )
511
       (= detect_rise_test.__detect_rise_test_15_x detect_rise_test.In3_1_1)
512
       (and (or (not (= detect_rise_test.__detect_rise_test_1 true))
513
               (and (or (not (= detect_rise_test.__detect_rise_test_4 true))
514
                       (= detect_rise_test.__detect_rise_test_14 false))
515
                    (or (not (= detect_rise_test.__detect_rise_test_4 false))
516
                       (= detect_rise_test.__detect_rise_test_14 true))
517
               ))
518
            (or (not (= detect_rise_test.__detect_rise_test_1 false))
519
               (= detect_rise_test.__detect_rise_test_14 (> detect_rise_test.__detect_rise_test_13_c 0)))
520
       )
521
       (= detect_rise_test.__detect_rise_test_13_x detect_rise_test.In3_1_2)
522
       (and (or (not (= detect_rise_test.__detect_rise_test_1 true))
523
               (and (or (not (= detect_rise_test.__detect_rise_test_4 true))
524
                       (= detect_rise_test.__detect_rise_test_12 false))
525
                    (or (not (= detect_rise_test.__detect_rise_test_4 false))
526
                       (= detect_rise_test.__detect_rise_test_12 true))
527
               ))
528
            (or (not (= detect_rise_test.__detect_rise_test_1 false))
529
               (= detect_rise_test.__detect_rise_test_12 (> detect_rise_test.__detect_rise_test_11_c 0)))
530
       )
531
       (= detect_rise_test.__detect_rise_test_11_x detect_rise_test.In3_1_3)
532
       (= detect_rise_test.DetectRiseNonnegative3_1_1 (and true (not detect_rise_test.__detect_rise_test_30)))
533
       (= detect_rise_test.Out8_8_1 detect_rise_test.DetectRiseNonnegative3_1_1)
534
       (= detect_rise_test.DetectRisePositive3_1_1 (and detect_rise_test.In7_1_1 (not detect_rise_test.__detect_rise_test_3)))
535
       (= detect_rise_test.Out7_7_1 detect_rise_test.DetectRisePositive3_1_1)
536
       (= detect_rise_test.DetectRiseNonnegative2_1_6 (and (>= detect_rise_test.In6_1_6 0) (not detect_rise_test.__detect_rise_test_32)))
537
       (= detect_rise_test.Out6_6_6 detect_rise_test.DetectRiseNonnegative2_1_6)
538
       (= detect_rise_test.DetectRiseNonnegative2_1_5 (and (>= detect_rise_test.In6_1_5 0) (not detect_rise_test.__detect_rise_test_34)))
539
       (= detect_rise_test.Out6_6_5 detect_rise_test.DetectRiseNonnegative2_1_5)
540
       (= detect_rise_test.DetectRiseNonnegative2_1_4 (and (>= detect_rise_test.In6_1_4 0) (not detect_rise_test.__detect_rise_test_36)))
541
       (= detect_rise_test.Out6_6_4 detect_rise_test.DetectRiseNonnegative2_1_4)
542
       (= detect_rise_test.DetectRiseNonnegative2_1_3 (and (>= detect_rise_test.In6_1_3 0) (not detect_rise_test.__detect_rise_test_38)))
543
       (= detect_rise_test.Out6_6_3 detect_rise_test.DetectRiseNonnegative2_1_3)
544
       (= detect_rise_test.DetectRiseNonnegative2_1_2 (and (>= detect_rise_test.In6_1_2 0) (not detect_rise_test.__detect_rise_test_40)))
545
       (= detect_rise_test.Out6_6_2 detect_rise_test.DetectRiseNonnegative2_1_2)
546
       (= detect_rise_test.DetectRiseNonnegative2_1_1 (and (>= detect_rise_test.In6_1_1 0) (not detect_rise_test.__detect_rise_test_42)))
547
       (= detect_rise_test.Out6_6_1 detect_rise_test.DetectRiseNonnegative2_1_1)
548
       (= detect_rise_test.DetectRiseNonnegative1_1_5 (and (>= detect_rise_test.In5_1_5 0.0) (not detect_rise_test.__detect_rise_test_44)))
549
       (= detect_rise_test.Out5_5_5 detect_rise_test.DetectRiseNonnegative1_1_5)
550
       (= detect_rise_test.DetectRiseNonnegative1_1_4 (and (>= detect_rise_test.In5_1_4 0.0) (not detect_rise_test.__detect_rise_test_46)))
551
       (= detect_rise_test.Out5_5_4 detect_rise_test.DetectRiseNonnegative1_1_4)
552
       (= detect_rise_test.DetectRiseNonnegative1_1_3 (and (>= detect_rise_test.In5_1_3 0.0) (not detect_rise_test.__detect_rise_test_48)))
553
       (= detect_rise_test.Out5_5_3 detect_rise_test.DetectRiseNonnegative1_1_3)
554
       (= detect_rise_test.DetectRiseNonnegative1_1_2 (and (>= detect_rise_test.In5_1_2 0.0) (not detect_rise_test.__detect_rise_test_50)))
555
       (= detect_rise_test.Out5_5_2 detect_rise_test.DetectRiseNonnegative1_1_2)
556
       (= detect_rise_test.DetectRiseNonnegative1_1_1 (and (>= detect_rise_test.In5_1_1 0.0) (not detect_rise_test.__detect_rise_test_52)))
557
       (= detect_rise_test.Out5_5_1 detect_rise_test.DetectRiseNonnegative1_1_1)
558
       (= detect_rise_test.DetectRiseNonnegative_1_1 (and (>= detect_rise_test.In4_1_1 0.0) (not detect_rise_test.__detect_rise_test_54)))
559
       (= detect_rise_test.Out4_4_1 detect_rise_test.DetectRiseNonnegative_1_1)
560
       (= detect_rise_test.DetectRisePositive2_1_6 (and (> detect_rise_test.In3_1_6 0) (not detect_rise_test.__detect_rise_test_6)))
561
       (= detect_rise_test.Out3_3_6 detect_rise_test.DetectRisePositive2_1_6)
562
       (= detect_rise_test.DetectRisePositive2_1_5 (and (> detect_rise_test.In3_1_5 0) (not detect_rise_test.__detect_rise_test_8)))
563
       (= detect_rise_test.Out3_3_5 detect_rise_test.DetectRisePositive2_1_5)
564
       (= detect_rise_test.DetectRisePositive2_1_4 (and (> detect_rise_test.In3_1_4 0) (not detect_rise_test.__detect_rise_test_10)))
565
       (= detect_rise_test.Out3_3_4 detect_rise_test.DetectRisePositive2_1_4)
566
       (= detect_rise_test.DetectRisePositive2_1_3 (and (> detect_rise_test.In3_1_3 0) (not detect_rise_test.__detect_rise_test_12)))
567
       (= detect_rise_test.Out3_3_3 detect_rise_test.DetectRisePositive2_1_3)
568
       (= detect_rise_test.DetectRisePositive2_1_2 (and (> detect_rise_test.In3_1_2 0) (not detect_rise_test.__detect_rise_test_14)))
569
       (= detect_rise_test.Out3_3_2 detect_rise_test.DetectRisePositive2_1_2)
570
       (= detect_rise_test.DetectRisePositive2_1_1 (and (> detect_rise_test.In3_1_1 0) (not detect_rise_test.__detect_rise_test_16)))
571
       (= detect_rise_test.Out3_3_1 detect_rise_test.DetectRisePositive2_1_1)
572
       (= detect_rise_test.DetectRisePositive1_1_5 (and (> detect_rise_test.In2_1_5 0.0) (not detect_rise_test.__detect_rise_test_19)))
573
       (= detect_rise_test.Out2_2_5 detect_rise_test.DetectRisePositive1_1_5)
574
       (= detect_rise_test.DetectRisePositive1_1_4 (and (> detect_rise_test.In2_1_4 0.0) (not detect_rise_test.__detect_rise_test_21)))
575
       (= detect_rise_test.Out2_2_4 detect_rise_test.DetectRisePositive1_1_4)
576
       (= detect_rise_test.DetectRisePositive1_1_3 (and (> detect_rise_test.In2_1_3 0.0) (not detect_rise_test.__detect_rise_test_23)))
577
       (= detect_rise_test.Out2_2_3 detect_rise_test.DetectRisePositive1_1_3)
578
       (= detect_rise_test.DetectRisePositive1_1_2 (and (> detect_rise_test.In2_1_2 0.0) (not detect_rise_test.__detect_rise_test_25)))
579
       (= detect_rise_test.Out2_2_2 detect_rise_test.DetectRisePositive1_1_2)
580
       (= detect_rise_test.DetectRisePositive1_1_1 (and (> detect_rise_test.In2_1_1 0.0) (not detect_rise_test.__detect_rise_test_27)))
581
       (= detect_rise_test.Out2_2_1 detect_rise_test.DetectRisePositive1_1_1)
582
       (= detect_rise_test.DetectRisePositive_1_1 (and (> detect_rise_test.In1_1_1 0.0) (not detect_rise_test.__detect_rise_test_29)))
583
       (= detect_rise_test.Out1_1_1 detect_rise_test.DetectRisePositive_1_1)
584
       )
585
  (detect_rise_test_step detect_rise_test.In1_1_1
586
                         detect_rise_test.In2_1_1
587
                         detect_rise_test.In2_1_2
588
                         detect_rise_test.In2_1_3
589
                         detect_rise_test.In2_1_4
590
                         detect_rise_test.In2_1_5
591
                         detect_rise_test.In3_1_1
592
                         detect_rise_test.In3_1_2
593
                         detect_rise_test.In3_1_3
594
                         detect_rise_test.In3_1_4
595
                         detect_rise_test.In3_1_5
596
                         detect_rise_test.In3_1_6
597
                         detect_rise_test.In4_1_1
598
                         detect_rise_test.In5_1_1
599
                         detect_rise_test.In5_1_2
600
                         detect_rise_test.In5_1_3
601
                         detect_rise_test.In5_1_4
602
                         detect_rise_test.In5_1_5
603
                         detect_rise_test.In6_1_1
604
                         detect_rise_test.In6_1_2
605
                         detect_rise_test.In6_1_3
606
                         detect_rise_test.In6_1_4
607
                         detect_rise_test.In6_1_5
608
                         detect_rise_test.In6_1_6
609
                         detect_rise_test.In7_1_1
610
                         detect_rise_test.In8_1_1
611
                         detect_rise_test.Out1_1_1
612
                         detect_rise_test.Out2_2_1
613
                         detect_rise_test.Out2_2_2
614
                         detect_rise_test.Out2_2_3
615
                         detect_rise_test.Out2_2_4
616
                         detect_rise_test.Out2_2_5
617
                         detect_rise_test.Out3_3_1
618
                         detect_rise_test.Out3_3_2
619
                         detect_rise_test.Out3_3_3
620
                         detect_rise_test.Out3_3_4
621
                         detect_rise_test.Out3_3_5
622
                         detect_rise_test.Out3_3_6
623
                         detect_rise_test.Out4_4_1
624
                         detect_rise_test.Out5_5_1
625
                         detect_rise_test.Out5_5_2
626
                         detect_rise_test.Out5_5_3
627
                         detect_rise_test.Out5_5_4
628
                         detect_rise_test.Out5_5_5
629
                         detect_rise_test.Out6_6_1
630
                         detect_rise_test.Out6_6_2
631
                         detect_rise_test.Out6_6_3
632
                         detect_rise_test.Out6_6_4
633
                         detect_rise_test.Out6_6_5
634
                         detect_rise_test.Out6_6_6
635
                         detect_rise_test.Out7_7_1
636
                         detect_rise_test.Out8_8_1
637
                         detect_rise_test.__detect_rise_test_11_c
638
                         detect_rise_test.__detect_rise_test_13_c
639
                         detect_rise_test.__detect_rise_test_15_c
640
                         detect_rise_test.__detect_rise_test_18_c
641
                         detect_rise_test.__detect_rise_test_2_c
642
                         detect_rise_test.__detect_rise_test_20_c
643
                         detect_rise_test.__detect_rise_test_22_c
644
                         detect_rise_test.__detect_rise_test_24_c
645
                         detect_rise_test.__detect_rise_test_26_c
646
                         detect_rise_test.__detect_rise_test_28_c
647
                         detect_rise_test.__detect_rise_test_31_c
648
                         detect_rise_test.__detect_rise_test_33_c
649
                         detect_rise_test.__detect_rise_test_35_c
650
                         detect_rise_test.__detect_rise_test_37_c
651
                         detect_rise_test.__detect_rise_test_39_c
652
                         detect_rise_test.__detect_rise_test_41_c
653
                         detect_rise_test.__detect_rise_test_43_c
654
                         detect_rise_test.__detect_rise_test_45_c
655
                         detect_rise_test.__detect_rise_test_47_c
656
                         detect_rise_test.__detect_rise_test_49_c
657
                         detect_rise_test.__detect_rise_test_5_c
658
                         detect_rise_test.__detect_rise_test_51_c
659
                         detect_rise_test.__detect_rise_test_53_c
660
                         detect_rise_test.__detect_rise_test_7_c
661
                         detect_rise_test.__detect_rise_test_9_c
662
                         detect_rise_test.ni_0._arrow._first_c
663
                         detect_rise_test.__detect_rise_test_11_x
664
                         detect_rise_test.__detect_rise_test_13_x
665
                         detect_rise_test.__detect_rise_test_15_x
666
                         detect_rise_test.__detect_rise_test_18_x
667
                         detect_rise_test.__detect_rise_test_2_x
668
                         detect_rise_test.__detect_rise_test_20_x
669
                         detect_rise_test.__detect_rise_test_22_x
670
                         detect_rise_test.__detect_rise_test_24_x
671
                         detect_rise_test.__detect_rise_test_26_x
672
                         detect_rise_test.__detect_rise_test_28_x
673
                         detect_rise_test.__detect_rise_test_31_x
674
                         detect_rise_test.__detect_rise_test_33_x
675
                         detect_rise_test.__detect_rise_test_35_x
676
                         detect_rise_test.__detect_rise_test_37_x
677
                         detect_rise_test.__detect_rise_test_39_x
678
                         detect_rise_test.__detect_rise_test_41_x
679
                         detect_rise_test.__detect_rise_test_43_x
680
                         detect_rise_test.__detect_rise_test_45_x
681
                         detect_rise_test.__detect_rise_test_47_x
682
                         detect_rise_test.__detect_rise_test_49_x
683
                         detect_rise_test.__detect_rise_test_5_x
684
                         detect_rise_test.__detect_rise_test_51_x
685
                         detect_rise_test.__detect_rise_test_53_x
686
                         detect_rise_test.__detect_rise_test_7_x
687
                         detect_rise_test.__detect_rise_test_9_x
688
                         detect_rise_test.ni_0._arrow._first_x)
689
))
690