Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / bench / distrib / large / ccp02 / mutants / ccp02.mutant.n7.lus @ 50d06a28

History | View | Annotate | Download (20.7 KB)

1
node top
2
  (onOff: bool;
3
  decelSet: bool;
4
  accelResume: bool;
5
  cancel: bool;
6
  brakePedal: bool;
7
  carGear: int;
8
  carSpeed: real;
9
  validInputs: bool)
10
returns
11
  (OK: bool);
12

    
13
var
14
  V11_mode: int;
15
  V14_VRP1: bool;
16
  V15_VRP2: bool;
17
  V16_CP8a: bool;
18
  V17_VRP3: bool;
19
  V18_VRP4: bool;
20
  V19_SP4: bool;
21
  V20_SP5: bool;
22
  V21_SP6: bool;
23
  V22_SP7: bool;
24
  V23_SP3b: bool;
25
  V25_SP3: bool;
26
  V26_SP3a: bool;
27
  V27_SP2: bool;
28
  V28_SP1: bool;
29
  V29_SP8: bool;
30
  V30_SP9: bool;
31
  V31_SP10: bool;
32
  V32_SP11: bool;
33
  V34_zz1: bool;
34
  V35_zz2: real;
35
  V37_zz4: bool;
36
  V38_zz5: real;
37
  V39_zz6: int;
38
  V40_zz7: int;
39
  V41_zz8: int;
40
  V42_zz9: int;
41
  V43_zz10: int;
42
  V44_zz11: int;
43
  V45_zz12: int;
44
  V46_zz13: int;
45
  V47_zz14: int;
46
  V48_zz15: bool;
47
  V49_zz16: int;
48
  V50_zz17: int;
49
  V51_zz18: int;
50
  V52_zz19: bool;
51
  V53_zz20: int;
52
  V54_zz21: int;
53
  V55_zz22: int;
54
  V56_zz23: bool;
55
  V57_zz24: bool;
56
  V58_zz25: int;
57
  V59_zz26: bool;
58
  V60_zz27: bool;
59
  V61_zz28: int;
60
  V62_zz29: int;
61
  V63_zz30: bool;
62
  V64_zz31: bool;
63
  V65_zz32: int;
64
  V66_zz33: bool;
65
  V67_zz34: int;
66
  V68_zz35: int;
67
  V69_zz36: bool;
68
  V70_zz37: bool;
69
  V71_zz38: int;
70
  V72_zz39: bool;
71
  V73_zz40: int;
72
  V74_zz41: int;
73
  V75_zz42: bool;
74
  V76_zz43: bool;
75
  V77_zz44: int;
76
  V78_zz45: int;
77
  V79_zz46: int;
78
  V80_zz47: bool;
79
  V81_zz48: bool;
80
  V82_zz49: int;
81
  V83_zz50: int;
82
  V84_zz51: int;
83
  V85_zz52: bool;
84
  V86_zz53: int;
85
  V87_zz54: int;
86
  V88_zz55: int;
87
  V89_zz56: bool;
88
  V90_zz57: bool;
89
  V91_zz58: int;
90
  V92_zz59: int;
91
  V93_zz60: int;
92
  V94_zz61: int;
93
  V95_zz62: int;
94
  V96_zz63: int;
95
  V97_zz64: bool;
96
  V98_zz66: int;
97
  V99_zz67: int;
98
  V100_zz68: int;
99
  V101_zz69: int;
100
  V102_zz70: int;
101
  V103_zz71: int;
102
  V104_zz72: bool;
103
  V105_zz73: bool;
104
  V106_zz74: int;
105
  V107_zz75: int;
106
  V108_zz76: int;
107
  V109_zz77: int;
108
  V110_zz78: int;
109
  V111_zz79: int;
110
  V112_zz80: int;
111
  V113_zz81: int;
112
  V114_zz82: bool;
113
  V115_zz83: int;
114
  V116_zz84: int;
115
  V117_zz85: int;
116
  V118_zz86: int;
117
  V119_zz87: bool;
118
  V120_zz88: bool;
119
  V121_zz89: int;
120
  V122_zz90: bool;
121
  V123_zz91: int;
122
  V124_zz92: int;
123
  V125_zz93: bool;
124
  V126_zz94: bool;
125
  V127_zz95: int;
126
  V128_zz96: bool;
127
  V129_zz97: int;
128
  V130_zz98: int;
129
  V131_zz99: bool;
130
  V132_zz100: bool;
131
  V133_zz101: int;
132
  V134_zz102: int;
133
  V135_zz103: int;
134
  V136_zz104: bool;
135
  V137_zz105: bool;
136
  V138_zz106: int;
137
  V139_zz107: bool;
138
  V140_zz108: int;
139
  V141_zz109: int;
140
  V142_zz110: int;
141
  V143_zz111: int;
142
  V144_zz112: bool;
143
  V145_zz113: int;
144
  V146_zz114: int;
145
  V147_zz115: int;
146
  V148_zz116: bool;
147
  V149_zz117: bool;
148
  V150_zz118: int;
149
  V151_zz119: int;
150
  V152_zz120: int;
151
  V153_zz121: int;
152
  V154_zz122: int;
153
  V155_zz123: int;
154
  V156_zz124: int;
155
  V157_zz125: int;
156
  V158_zz126: int;
157
  V159_zz127: int;
158
  V160_zz128: bool;
159
  V161_zz129: int;
160
  V162_zz130: int;
161
  V163_zz131: int;
162
  V164_zz132: int;
163
  V165_zz133: bool;
164
  V166_zz134: int;
165
  V167_zz135: int;
166
  V168_zz136: int;
167
  V169_zz137: int;
168
  V170_zz138: bool;
169
  V171_zz139: bool;
170
  V172_zz140: int;
171
  V173_zz141: bool;
172
  V174_zz142: int;
173
  V175_zz143: int;
174
  V176_zz144: bool;
175
  V177_zz145: bool;
176
  V178_zz146: int;
177
  V179_zz147: int;
178
  V180_zz148: int;
179
  V181_zz149: int;
180
  V182_zz150: int;
181
  V183_zz151: bool;
182
  V184_zz152: bool;
183
  V185_zz153: int;
184
  V186_zz154: int;
185
  V187_zz155: bool;
186
  V188_zz156: int;
187
  V189_zz157: int;
188
  V190_zz158: bool;
189
  V193_zz161: int;
190
  V194_zz162: bool;
191
  V198_zz166: int;
192
  V199_zz167: int;
193
  V200_zz168: int;
194
  V201_zz169: int;
195
  V202_zz170: int;
196
  V203_zz171: bool;
197
  V204_zz172: int;
198
  V205_zz173: int;
199
  V206_zz174: int;
200
  V207_zz175: int;
201
  V208_zz176: int;
202
  V209_zz177: bool;
203
  V211_zz179: bool;
204
  V212_zz180: bool;
205
  V213_zz181: bool;
206
  V214_zz182: bool;
207
  V216_zz184: bool;
208
  V217_zz185: bool;
209
  V218_zz186: bool;
210
  V219_zz187: bool;
211
  V220_zz188: bool;
212
  V221_zz189: bool;
213
  V222_zz190: real;
214
  V223_zz191: bool;
215
  V224_zz192: bool;
216
  V225_zz193: bool;
217
  V226_zz194: bool;
218
  V227_zz195: bool;
219
  V228_zz196: bool;
220
  V229_zz197: bool;
221
  V230_zz198: bool;
222
  V231_zz199: bool;
223
  V232_zz200: bool;
224
  V233_zz201: bool;
225
  V234_zz202: bool;
226
  V235_zz203: bool;
227
  V236_zz204: real;
228
  V237_zz205: real;
229
  V238_zz206: bool;
230
  V239_zz207: bool;
231
  V240_zz208: bool;
232
  V241_zz209: bool;
233
  V242_zz210: bool;
234
  V243_zz211: real;
235
  V244_zz212: bool;
236
  V245_zz213: bool;
237
  V246_zz214: bool;
238
  V247_zz215: bool;
239
  V248_zz216: bool;
240
  V249_zz217: bool;
241
  V250_zz218: real;
242
  V251_zz219: real;
243
  V252_zz220: real;
244
  V253_zz221: real;
245
  V254_zz222: real;
246
  V255_zz223: real;
247
  V256_zz224: real;
248
  V257_zz225: real;
249
  V258_zz226: real;
250
  V259_zz227: real;
251
  V260_zz228: real;
252
  V261_zz229: real;
253
  V262_zz230: real;
254
  V263_zz231: bool;
255
  V264_zz232: bool;
256
  V265_zz233: bool;
257
  V266_zz234: bool;
258
  V267_zz235: bool;
259
  V268_zz236: bool;
260
  V269_zz237: bool;
261
  V270_zz238: bool;
262
  V271_zz239: bool;
263

    
264
let
265
  OK = ((V98_zz66 = 4) or ((V98_zz66 = 5) or (V98_zz66 = 6)));
266
  V11_mode = (if V187_zz155 then V186_zz154 else V182_zz150);
267
  V14_VRP1 = (V264_zz232 and V263_zz231);
268
  V15_VRP2 = (V266_zz234 and V265_zz233);
269
  V16_CP8a = ((not V194_zz162) or V233_zz201);
270
  V17_VRP3 = (not V269_zz237);
271
  V18_VRP4 = ((V270_zz238 or V227_zz195) or V271_zz239);
272
  V19_SP4 = ((not V235_zz203) or V226_zz194);
273
  V20_SP5 = ((not V241_zz209) or V238_zz206);
274
  V21_SP6 = ((not V248_zz216) or V239_zz207);
275
  V22_SP7 = ((not V249_zz217) or V240_zz208);
276
  V23_SP3b = ((not V230_zz198) or V232_zz200);
277
  V25_SP3 = ((not V230_zz198) or V227_zz195);
278
  V26_SP3a = ((not (not V241_zz209)) or (not V231_zz199));
279
  V27_SP2 = ((not (not V233_zz201)) or V219_zz187);
280
  V28_SP1 = ((not (not V218_zz186)) or V219_zz187);
281
  V29_SP8 = ((not V242_zz210) or V244_zz212);
282
  V30_SP9 = ((not V246_zz214) or V247_zz215);
283
  V31_SP10 = ((not V223_zz191) or V224_zz192);
284
  V32_SP11 = ((not V225_zz193) or V226_zz194);
285
  V34_zz1 = (true -> (if (pre V249_zz217) then false else (pre V34_zz1)));
286
  V35_zz2 = ((if (V34_zz1 and (not V249_zz217)) then 0.000000E+00 else (
287
  V254_zz222 + 5.000000E-02)) -> (if (V34_zz1 and (not V249_zz217)) then 
288
  0.000000E+00 else (if V249_zz217 then (V254_zz222 + 5.000000E-02) else (pre 
289
  V35_zz2))));
290
  V37_zz4 = (true -> (if (pre V248_zz216) then false else (pre V37_zz4)));
291
  V38_zz5 = ((if (V37_zz4 and (not V248_zz216)) then 0.000000E+00 else (
292
  V254_zz222 - 5.000000E-02)) -> (if (V37_zz4 and (not V248_zz216)) then 
293
  0.000000E+00 else (if V248_zz216 then (V254_zz222 - 5.000000E-02) else (pre 
294
  V38_zz5))));
295
  V39_zz6 = (if (not (V82_zz49 = 4)) then 4 else V82_zz49);
296
  V40_zz7 = (if (not (V82_zz49 = 4)) then 4 else V79_zz46);
297
  V41_zz8 = (if (V78_zz45 = 5) then 3 else V78_zz45);
298
  V42_zz9 = (if (not (V77_zz44 = 4)) then 4 else V77_zz44);
299
  V43_zz10 = (if (not (V77_zz44 = 4)) then 4 else V74_zz41);
300
  V44_zz11 = (if (V73_zz40 = 6) then 3 else V73_zz40);
301
  V45_zz12 = (if (not (V71_zz38 = 6)) then 6 else V71_zz38);
302
  V46_zz13 = (if (not (V71_zz38 = 6)) then 5 else V68_zz35);
303
  V47_zz14 = (if (V67_zz34 = 4) then 3 else V67_zz34);
304
  V48_zz15 = (if (V67_zz34 = 4) then false else V66_zz33);
305
  V49_zz16 = (if (not (V65_zz32 = 5)) then 5 else V65_zz32);
306
  V50_zz17 = (if (not (V65_zz32 = 5)) then 6 else V62_zz29);
307
  V51_zz18 = (if (V61_zz28 = 4) then 3 else V61_zz28);
308
  V52_zz19 = (if (V61_zz28 = 4) then false else V60_zz27);
309
  V53_zz20 = (if (not (V58_zz25 = 4)) then 4 else V58_zz25);
310
  V54_zz21 = (if (not (V58_zz25 = 4)) then 4 else V141_zz109);
311
  V55_zz22 = (if (V140_zz108 = 4) then 3 else V140_zz108);
312
  V56_zz23 = (if (V140_zz108 = 4) then false else V139_zz107);
313
  V57_zz24 = ((V140_zz108 = 4) and ((if ((V217_zz185 = true) = false) then 0 
314
  else 1) <> 0));
315
  V58_zz25 = (if V57_zz24 then V55_zz22 else V140_zz108);
316
  V59_zz26 = (if V57_zz24 then V56_zz23 else V139_zz107);
317
  V60_zz27 = (if V57_zz24 then true else V59_zz26);
318
  V61_zz28 = (if V57_zz24 then V53_zz20 else V58_zz25);
319
  V62_zz29 = (if V57_zz24 then V54_zz21 else V141_zz109);
320
  V63_zz30 = ((V61_zz28 = 4) and (((if ((V203_zz171 = true) = false) then 0 
321
  else 1) <> 0) and (not V57_zz24)));
322
  V64_zz31 = (V63_zz30 or V57_zz24);
323
  V65_zz32 = (if V63_zz30 then V51_zz18 else V61_zz28);
324
  V66_zz33 = (if V63_zz30 then V52_zz19 else V60_zz27);
325
  V67_zz34 = (if V63_zz30 then V49_zz16 else V65_zz32);
326
  V68_zz35 = (if V63_zz30 then V50_zz17 else V62_zz29);
327
  V69_zz36 = ((V67_zz34 = 4) and (((if ((V209_zz177 = true) = false) then 0 
328
  else 1) <> 0) and (not V64_zz31)));
329
  V70_zz37 = (V69_zz36 or V64_zz31);
330
  V71_zz38 = (if V69_zz36 then V47_zz14 else V67_zz34);
331
  V72_zz39 = (if V69_zz36 then V48_zz15 else V66_zz33);
332
  V73_zz40 = (if V69_zz36 then V45_zz12 else V71_zz38);
333
  V74_zz41 = (if V69_zz36 then V46_zz13 else V68_zz35);
334
  V75_zz42 = ((V73_zz40 = 6) and (((if ((V209_zz177 = false) = false) then 0 
335
  else 1) <> 0) and (not V70_zz37)));
336
  V76_zz43 = (V75_zz42 or V70_zz37);
337
  V77_zz44 = (if V75_zz42 then V44_zz11 else V73_zz40);
338
  V78_zz45 = (if V75_zz42 then V42_zz9 else V77_zz44);
339
  V79_zz46 = (if V75_zz42 then V43_zz10 else V74_zz41);
340
  V80_zz47 = ((V78_zz45 = 5) and (((if ((V203_zz171 = false) = false) then 0 
341
  else 1) <> 0) and (not V76_zz43)));
342
  V81_zz48 = (V80_zz47 or V76_zz43);
343
  V82_zz49 = (if V80_zz47 then V41_zz8 else V78_zz45);
344
  V83_zz50 = (if V80_zz47 then V39_zz6 else V82_zz49);
345
  V84_zz51 = (if V80_zz47 then V40_zz7 else V79_zz46);
346
  V85_zz52 = (if ((not V81_zz48) and (V83_zz50 = 4)) then false else V72_zz39);
347
  V86_zz53 = (if (not (V88_zz55 = 4)) then 4 else V88_zz55);
348
  V87_zz54 = (if (not (V88_zz55 = 4)) then 4 else V135_zz103);
349
  V88_zz55 = (if (not ((V138_zz106 >= 3) and (V138_zz106 <= 6))) then 3 else 
350
  V138_zz106);
351
  V89_zz56 = ((not ((V138_zz106 >= 3) and (V138_zz106 <= 6))) and ((V88_zz55 >= 
352
  3) and (V88_zz55 <= 6)));
353
  V90_zz57 = ((V91_zz58 = 4) or ((V91_zz58 = 5) or (V91_zz58 = 6)));
354
  V91_zz58 = (if V89_zz56 then V86_zz53 else V88_zz55);
355
  V92_zz59 = (if V89_zz56 then V87_zz54 else V135_zz103);
356
  V93_zz60 = (if (V134_zz102 = 7) then 2 else V134_zz102);
357
  V94_zz61 = (if (not (V96_zz63 = 4)) then 4 else V96_zz63);
358
  V95_zz62 = (if (not (V96_zz63 = 4)) then 4 else V130_zz98);
359
  V96_zz63 = (if (not ((V133_zz101 >= 3) and (V133_zz101 <= 6))) then 3 else 
360
  V133_zz101);
361
  V97_zz64 = ((not ((V133_zz101 >= 3) and (V133_zz101 <= 6))) and ((V96_zz63 >= 
362
  3) and (V96_zz63 <= 6)));
363
  V98_zz66 = (if V97_zz64 then V94_zz61 else V96_zz63);
364
  V99_zz67 = (if V97_zz64 then V95_zz62 else V130_zz98);
365
  V100_zz68 = (if (V129_zz97 = 8) then 2 else V129_zz97);
366
  V101_zz69 = (if (not (V103_zz71 = 4)) then 4 else V103_zz71);
367
  V102_zz70 = (if (not (V103_zz71 = 4)) then 4 else V124_zz92);
368
  V103_zz71 = (if (not ((V127_zz95 >= 3) and (V127_zz95 <= 6))) then 3 else 
369
  V127_zz95);
370
  V104_zz72 = ((not ((V127_zz95 >= 3) and (V127_zz95 <= 6))) and ((V103_zz71 >= 
371
  3) and (V103_zz71 <= 6)));
372
  V105_zz73 = ((V106_zz74 = 4) or ((V106_zz74 = 5) or (V106_zz74 = 6)));
373
  V106_zz74 = (if V104_zz72 then V101_zz69 else V103_zz71);
374
  V107_zz75 = (if V104_zz72 then V102_zz70 else V124_zz92);
375
  V108_zz76 = (if (V123_zz91 = 8) then 2 else V123_zz91);
376
  V109_zz77 = (if (not (V121_zz89 = 8)) then 8 else V121_zz89);
377
  V110_zz78 = (if (not (V121_zz89 = 8)) then 3 else V180_zz148);
378
  V111_zz79 = (if (V116_zz84 = 6) then 3 else V116_zz84);
379
  V112_zz80 = (if (V115_zz83 = 5) then 3 else V115_zz83);
380
  V113_zz81 = (if (V179_zz147 = 4) then 3 else V179_zz147);
381
  V114_zz82 = (if (V179_zz147 = 4) then false else V173_zz141);
382
  V115_zz83 = (if ((V179_zz147 >= 3) and (V179_zz147 <= 6)) then V113_zz81 else 
383
  V179_zz147);
384
  V116_zz84 = (if ((V179_zz147 >= 3) and (V179_zz147 <= 6)) then V112_zz80 else 
385
  V115_zz83);
386
  V117_zz85 = (if ((V179_zz147 >= 3) and (V179_zz147 <= 6)) then V111_zz79 else 
387
  V116_zz84);
388
  V118_zz86 = (if ((V179_zz147 >= 3) and (V179_zz147 <= 6)) then 2 else 
389
  V117_zz85);
390
  V119_zz87 = (if ((V179_zz147 >= 3) and (V179_zz147 <= 6)) then V114_zz82 else 
391
  V173_zz141);
392
  V120_zz88 = (((V179_zz147 >= 3) and (V179_zz147 <= 6)) and (not V218_zz186));
393
  V121_zz89 = (if V120_zz88 then V118_zz86 else V179_zz147);
394
  V122_zz90 = (if V120_zz88 then V119_zz87 else V173_zz141);
395
  V123_zz91 = (if V120_zz88 then V109_zz77 else V121_zz89);
396
  V124_zz92 = (if V120_zz88 then V110_zz78 else V180_zz148);
397
  V125_zz93 = ((V123_zz91 = 8) and ((((if ((V217_zz185 = true) = false) then 0 
398
  else 1) <> 0) and ((if ((V218_zz186 = true) = false) then 0 else 1) <> 0)) 
399
  and (not V120_zz88)));
400
  V126_zz94 = (V125_zz93 or V120_zz88);
401
  V127_zz95 = (if V125_zz93 then V108_zz76 else V123_zz91);
402
  V128_zz96 = (if V125_zz93 then true else V122_zz90);
403
  V129_zz97 = (if V125_zz93 then V106_zz74 else V127_zz95);
404
  V130_zz98 = (if V125_zz93 then V107_zz75 else V124_zz92);
405
  V131_zz99 = ((V129_zz97 = 8) and ((((if ((V212_zz180 = true) = false) then 0 
406
  else 1) <> 0) and ((if ((V218_zz186 = true) = false) then 0 else 1) <> 0)) 
407
  and (not V126_zz94)));
408
  V132_zz100 = (V131_zz99 or V126_zz94);
409
  V133_zz101 = (if V131_zz99 then V100_zz68 else V129_zz97);
410
  V134_zz102 = (if V131_zz99 then V98_zz66 else V133_zz101);
411
  V135_zz103 = (if V131_zz99 then V99_zz67 else V130_zz98);
412
  V136_zz104 = ((V134_zz102 = 7) and ((((if ((V217_zz185 = true) = false) then 
413
  0 else 1) <> 0) and ((if ((V218_zz186 = true) = false) then 0 else 1) <> 0)) 
414
  and (not V132_zz100)));
415
  V137_zz105 = (V136_zz104 or V132_zz100);
416
  V138_zz106 = (if V136_zz104 then V93_zz60 else V134_zz102);
417
  V139_zz107 = (if V136_zz104 then true else V128_zz96);
418
  V140_zz108 = (if V136_zz104 then V91_zz58 else V138_zz106);
419
  V141_zz109 = (if V136_zz104 then V92_zz59 else V135_zz103);
420
  V142_zz110 = (if ((not V137_zz105) and ((V140_zz108 >= 3) and (V140_zz108 <= 
421
  6))) then V83_zz50 else V140_zz108);
422
  V143_zz111 = (if ((not V137_zz105) and ((V140_zz108 >= 3) and (V140_zz108 <= 
423
  6))) then V84_zz51 else V141_zz109);
424
  V144_zz112 = (if ((not V137_zz105) and ((V140_zz108 >= 3) and (V140_zz108 <= 
425
  6))) then V85_zz52 else V139_zz107);
426
  V145_zz113 = (if (not (V147_zz115 = 7)) then 7 else V147_zz115);
427
  V146_zz114 = (if (not (V147_zz115 = 7)) then 2 else V175_zz143);
428
  V147_zz115 = (if (not ((V178_zz146 >= 2) and (V178_zz146 <= 8))) then 2 else 
429
  V178_zz146);
430
  V148_zz116 = ((not ((V178_zz146 >= 2) and (V178_zz146 <= 8))) and ((
431
  V147_zz115 >= 2) and (V147_zz115 <= 8)));
432
  V149_zz117 = (((V150_zz118 >= 3) and (V150_zz118 <= 6)) or ((V150_zz118 = 7) 
433
  or (V150_zz118 = 8)));
434
  V150_zz118 = (if V148_zz116 then V145_zz113 else V147_zz115);
435
  V151_zz119 = (if V148_zz116 then V146_zz114 else V175_zz143);
436
  V152_zz120 = (if (V174_zz142 = 1) then 0 else V174_zz142);
437
  V153_zz121 = (if (not (V172_zz140 = 1)) then 1 else V172_zz140);
438
  V154_zz122 = (if (not (V172_zz140 = 1)) then 1 else V189_zz157);
439
  V155_zz123 = (if (V167_zz135 = 8) then 2 else V167_zz135);
440
  V156_zz124 = (if (V166_zz134 = 7) then 2 else V166_zz134);
441
  V157_zz125 = (if (V162_zz130 = 6) then 3 else V162_zz130);
442
  V158_zz126 = (if (V161_zz129 = 5) then 3 else V161_zz129);
443
  V159_zz127 = (if (V188_zz156 = 4) then 3 else V188_zz156);
444
  V160_zz128 = (if (V188_zz156 = 4) then false else V190_zz158);
445
  V161_zz129 = (if ((V188_zz156 >= 3) and (V188_zz156 <= 6)) then V159_zz127 
446
  else V188_zz156);
447
  V162_zz130 = (if ((V188_zz156 >= 3) and (V188_zz156 <= 6)) then V158_zz126 
448
  else V161_zz129);
449
  V163_zz131 = (if ((V188_zz156 >= 3) and (V188_zz156 <= 6)) then V157_zz125 
450
  else V162_zz130);
451
  V164_zz132 = (if ((V188_zz156 >= 3) and (V188_zz156 <= 6)) then 2 else 
452
  V163_zz131);
453
  V165_zz133 = (if ((V188_zz156 >= 3) and (V188_zz156 <= 6)) then V160_zz128 
454
  else V190_zz158);
455
  V166_zz134 = (if ((V188_zz156 >= 2) and (V188_zz156 <= 8)) then V164_zz132 
456
  else V188_zz156);
457
  V167_zz135 = (if ((V188_zz156 >= 2) and (V188_zz156 <= 8)) then V156_zz124 
458
  else V166_zz134);
459
  V168_zz136 = (if ((V188_zz156 >= 2) and (V188_zz156 <= 8)) then V155_zz123 
460
  else V167_zz135);
461
  V169_zz137 = (if ((V188_zz156 >= 2) and (V188_zz156 <= 8)) then 0 else 
462
  V168_zz136);
463
  V170_zz138 = (if ((V188_zz156 >= 2) and (V188_zz156 <= 8)) then V165_zz133 
464
  else V190_zz158);
465
  V171_zz139 = (((V188_zz156 >= 2) and (V188_zz156 <= 8)) and (not onOff));
466
  V172_zz140 = (if V171_zz139 then V169_zz137 else V188_zz156);
467
  V173_zz141 = (if V171_zz139 then V170_zz138 else V190_zz158);
468
  V174_zz142 = (if V171_zz139 then V153_zz121 else V172_zz140);
469
  V175_zz143 = (if V171_zz139 then V154_zz122 else V189_zz157);
470
  V176_zz144 = ((V174_zz142 = 1) and (onOff and (not V171_zz139)));
471
  V177_zz145 = (V176_zz144 or V171_zz139);
472
  V178_zz146 = (if V176_zz144 then V152_zz120 else V174_zz142);
473
  V179_zz147 = (if V176_zz144 then V150_zz118 else V178_zz146);
474
  V180_zz148 = (if V176_zz144 then V151_zz119 else V175_zz143);
475
  V181_zz149 = (if ((not V177_zz145) and ((V179_zz147 >= 2) and (V179_zz147 <= 
476
  8))) then V142_zz110 else V179_zz147);
477
  V182_zz150 = (if ((not V177_zz145) and ((V179_zz147 >= 2) and (V179_zz147 <= 
478
  8))) then V143_zz111 else V180_zz148);
479
  V183_zz151 = (if ((not V177_zz145) and ((V179_zz147 >= 2) and (V179_zz147 <= 
480
  8))) then V144_zz112 else V173_zz141);
481
  V184_zz152 = ((V185_zz153 = 1) or ((V185_zz153 >= 2) and (V185_zz153 <= 8)));
482
  V185_zz153 = (if (not (V188_zz156 = 1)) then 1 else V188_zz156);
483
  V186_zz154 = (if (not (V188_zz156 = 1)) then 1 else V189_zz157);
484
  V187_zz155 = (true -> (if (pre true) then false else (pre V187_zz155)));
485
  V188_zz156 = (0 -> (pre V193_zz161));
486
  V189_zz157 = (0 -> (pre V11_mode));
487
  V190_zz158 = (false -> (pre V194_zz162));
488
  V193_zz161 = (if V187_zz155 then V185_zz153 else V181_zz149);
489
  V194_zz162 = (if V187_zz155 then V190_zz158 else V183_zz151);
490
  V198_zz166 = (if (0 >= V200_zz168) then 0 else V200_zz168);
491
  V199_zz167 = (V201_zz169 + 1);
492
  V200_zz168 = (if accelResume then V199_zz167 else 0);
493
  V201_zz169 = (0 -> (pre V202_zz170));
494
  V202_zz170 = (if (V198_zz166 <= 20) then V198_zz166 else 20);
495
  V203_zz171 = (V202_zz170 = 20);
496
  V204_zz172 = (if (0 >= V206_zz174) then 0 else V206_zz174);
497
  V205_zz173 = (V207_zz175 + 1);
498
  V206_zz174 = (if decelSet then V205_zz173 else 0);
499
  V207_zz175 = (0 -> (pre V208_zz176));
500
  V208_zz176 = (if (V204_zz172 <= 20) then V204_zz172 else 20);
501
  V209_zz177 = (V208_zz176 = 20);
502
  V211_zz179 = (true -> (pre accelResume));
503
  V212_zz180 = ((not V211_zz179) and accelResume);
504
  V213_zz181 = (carGear = 3);
505
  V214_zz182 = (carSpeed >= 1.500000E+01);
506
  V216_zz184 = (true -> (pre decelSet));
507
  V217_zz185 = ((not V216_zz184) and decelSet);
508
  V218_zz186 = (((((not cancel) and (not brakePedal)) and V213_zz181) and 
509
  V214_zz182) and validInputs);
510
  V219_zz187 = (V236_zz204 = 0.000000E+00);
511
  V220_zz188 = (V222_zz190 <> 1.000000E+02);
512
  V221_zz189 = (false -> (pre V249_zz217));
513
  V222_zz190 = (if (V253_zz221 < 0.000000E+00) then 0.000000E+00 else (if (
514
  V253_zz221 > 1.000000E+02) then 1.000000E+02 else V253_zz221));
515
  V223_zz191 = (V221_zz189 and V220_zz188);
516
  V224_zz192 = (V243_zz211 > V222_zz190);
517
  V225_zz193 = (V222_zz190 <> 0.000000E+00);
518
  V226_zz194 = (V222_zz190 >= 1.500000E+01);
519
  V227_zz195 = (V222_zz190 = 0.000000E+00);
520
  V228_zz196 = (V11_mode = 2);
521
  V229_zz197 = (V11_mode = 1);
522
  V230_zz198 = (V229_zz197 or V228_zz196);
523
  V231_zz199 = ((if (V194_zz162 = false) then 0.000000E+00 else 1.000000E+00) = 
524
  1.000000E+00);
525
  V232_zz200 = (V255_zz223 = 0.000000E+00);
526
  V233_zz201 = ((V241_zz209 or V248_zz216) or V249_zz217);
527
  V234_zz202 = (V11_mode = 3);
528
  V235_zz203 = (V233_zz201 or V234_zz202);
529
  V236_zz204 = (if V233_zz201 then V258_zz226 else 0.000000E+00);
530
  V237_zz205 = (0.000000E+00 -> (pre V236_zz204));
531
  V238_zz206 = (V237_zz205 = V236_zz204);
532
  V239_zz207 = (V243_zz211 <= V222_zz190);
533
  V240_zz208 = (V243_zz211 >= V222_zz190);
534
  V241_zz209 = (V11_mode = 4);
535
  V242_zz210 = (false -> (pre V241_zz209));
536
  V243_zz211 = (0.000000E+00 -> (pre V222_zz190));
537
  V244_zz212 = (V243_zz211 = V222_zz190);
538
  V245_zz213 = (false -> (pre V248_zz216));
539
  V246_zz214 = ((not V245_zz213) and V225_zz193);
540
  V247_zz215 = (V243_zz211 < V222_zz190);
541
  V248_zz216 = (V11_mode = 5);
542
  V249_zz217 = (V11_mode = 6);
543
  V250_zz218 = (if V248_zz216 then V38_zz5 else V252_zz220);
544
  V251_zz219 = (if V234_zz202 then V254_zz222 else 0.000000E+00);
545
  V252_zz220 = (if V241_zz209 then V254_zz222 else V251_zz219);
546
  V253_zz221 = (if V194_zz162 then carSpeed else V255_zz223);
547
  V254_zz222 = (0.000000E+00 -> (pre V222_zz190));
548
  V255_zz223 = (if V249_zz217 then V35_zz2 else V250_zz218);
549
  V256_zz224 = (0.000000E+00 -> (pre V236_zz204));
550
  V257_zz225 = (V262_zz230 + V256_zz224);
551
  V258_zz226 = (if (V257_zz225 < 0.000000E+00) then 0.000000E+00 else (if (
552
  V257_zz225 > 1.000000E+02) then 1.000000E+02 else V257_zz225));
553
  V259_zz227 = (V222_zz190 - carSpeed);
554
  V260_zz228 = (V259_zz227 * 1.000000E+00);
555
  V261_zz229 = (if (V260_zz228 < -1.000000E+01) then -1.000000E+01 else (if (
556
  V260_zz228 > 1.000000E+01) then 1.000000E+01 else V260_zz228));
557
  V262_zz230 = (V261_zz229 / 2.000000E+01);
558
  V263_zz231 = (V236_zz204 <= 1.000000E+02);
559
  V264_zz232 = (V236_zz204 >= 0.000000E+00);
560
  V265_zz233 = (V222_zz190 <= 1.000000E+02);
561
  V266_zz234 = (V222_zz190 >= 0.000000E+00);
562
  V267_zz235 = (V222_zz190 < 0.000000E+00);
563
  V268_zz236 = (V222_zz190 > 0.000000E+00);
564
  V269_zz237 = (V268_zz236 and V267_zz235);
565
  V270_zz238 = (V222_zz190 = V243_zz211);
566
  V271_zz239 = (V222_zz190 = carSpeed);
567
tel
568