Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / vhdl_json / vhdl_files / 2-exportOK / ghdl / ghdl / testsuite / vests / vhdl-93 / billowitch / compliant / tc1349.json @ 3fd18385

History | View | Annotate | Download (93.2 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c08s04b01x00p10n01i01349ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c08s04b01x00p10n01i01349arch"], "entity" : ["IDENTIFIER", "c08s04b01x00p10n01i01349ent"], "ARCHITECTURE_DECLARATIVE_PART" : [{
10
          "declaration" : ["SIGNAL_DECLARATION", {
11
            "names" : [["IDENTIFIER", "S"]], "typ" : {
12
              "name" : ["SIMPLE_NAME", "BIT"]}
13
            , "init_val" : ["EXPRESSION", {
14
              "args" : [["EXPRESSION", {
15
                "args" : [["EXPRESSION", {
16
                  "args" : [["EXPRESSION", {
17
                    "args" : [["CONSTANT_VALUE", {
18
                      "value" : ["CST_LITERAL", "'0'"]}
19
                    ]]}
20
                  ]]}
21
                ]]}
22
              ]]}
23
            ]}
24
          ]}
25
        ], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
26
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_DECLARATIVE_PART" : [{
27
            "declaration" : ["VARIABLE_DECLARATION", {
28
              "names" : [["IDENTIFIER", "S_INITIAL"]], "typ" : {
29
                "name" : ["SIMPLE_NAME", "BIT"]}
30
              }
31
            ]}
32
          , {
33
            "declaration" : ["VARIABLE_DECLARATION", {
34
              "names" : [["IDENTIFIER", "ShouldBeTime"]], "typ" : {
35
                "name" : ["SIMPLE_NAME", "TIME"]}
36
              }
37
            ]}
38
          , {
39
            "declaration" : ["VARIABLE_DECLARATION", {
40
              "names" : [["IDENTIFIER", "k"]], "typ" : {
41
                "name" : ["SIMPLE_NAME", "integer"]}
42
              , "init_val" : ["EXPRESSION", {
43
                "args" : [["EXPRESSION", {
44
                  "args" : [["EXPRESSION", {
45
                    "args" : [["EXPRESSION", {
46
                      "args" : [["CONSTANT_VALUE", {
47
                        "value" : ["CST_LITERAL", "0"]}
48
                      ]]}
49
                    ]]}
50
                  ]]}
51
                ]]}
52
              ]}
53
            ]}
54
          ], "PROCESS_STATEMENT_PART" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
55
            "lhs" : ["SIMPLE_NAME", "S_INITIAL"], "rhs" : ["EXPRESSION", {
56
              "args" : [["EXPRESSION", {
57
                "args" : [["EXPRESSION", {
58
                  "args" : [["EXPRESSION", {
59
                    "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
60
                  ]]}
61
                ]]}
62
              ]]}
63
            ]}
64
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
65
            "lhs" : ["SIMPLE_NAME", "S"], "rhs" : [{
66
              "value" : ["EXPRESSION", {
67
                "args" : [["EXPRESSION", {
68
                  "args" : [["EXPRESSION", {
69
                    "args" : [["EXPRESSION", {
70
                      "args" : [["EXPRESSION", {
71
                        "args" : [["EXPRESSION", {
72
                          "args" : [["EXPRESSION", {
73
                            "args" : [["EXPRESSION", {
74
                              "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
75
                            ]]}
76
                          ]]}
77
                        ]]}
78
                      ]]}
79
                    ]]}
80
                  ]]}
81
                ]]}
82
              ], "delay" : ["EXPRESSION", {
83
                "args" : [["EXPRESSION", {
84
                  "args" : [["EXPRESSION", {
85
                    "args" : [["EXPRESSION", {
86
                      "args" : [["CONSTANT_VALUE", {
87
                        "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
88
                      ]]}
89
                    ]]}
90
                  ]]}
91
                ]]}
92
              ]}
93
            , {
94
              "value" : ["EXPRESSION", {
95
                "args" : [["EXPRESSION", {
96
                  "args" : [["EXPRESSION", {
97
                    "args" : [["EXPRESSION", {
98
                      "args" : [["EXPRESSION", {
99
                        "args" : [["EXPRESSION", {
100
                          "args" : [["EXPRESSION", {
101
                            "args" : [["EXPRESSION", {
102
                              "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
103
                            ]]}
104
                          ]]}
105
                        ]]}
106
                      ]]}
107
                    ]]}
108
                  ]]}
109
                ]]}
110
              ], "delay" : ["EXPRESSION", {
111
                "args" : [["EXPRESSION", {
112
                  "args" : [["EXPRESSION", {
113
                    "args" : [["EXPRESSION", {
114
                      "args" : [["CONSTANT_VALUE", {
115
                        "value" : ["CST_LITERAL", "20"], "unit_name" : ["SIMPLE_NAME", "ns"]}
116
                      ]]}
117
                    ]]}
118
                  ]]}
119
                ]]}
120
              ]}
121
            ]}
122
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
123
            "lhs" : ["SIMPLE_NAME", "ShouldBeTime"], "rhs" : ["EXPRESSION", {
124
              "args" : [["EXPRESSION", {
125
                "args" : [["EXPRESSION", {
126
                  "args" : [["EXPRESSION", {
127
                    "id" : "+", "args" : [["EXPRESSION", {
128
                      "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
129
                    ], ["EXPRESSION", {
130
                      "args" : [["CONSTANT_VALUE", {
131
                        "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
132
                      ]]}
133
                    ]]}
134
                  ]]}
135
                ]]}
136
              ]]}
137
            ]}
138
          ], ["WAIT_STATEMENT"], ["IF_STATEMENT", {
139
            "if_cases" : [{
140
              "if_cond" : ["EXPRESSION", {
141
                "args" : [["EXPRESSION", {
142
                  "args" : [["EXPRESSION", {
143
                    "args" : [["EXPRESSION", {
144
                      "args" : [["EXPRESSION", {
145
                        "id" : "and", "args" : [["EXPRESSION", {
146
                          "id" : "/=", "args" : [["EXPRESSION", {
147
                            "args" : [["EXPRESSION", {
148
                              "args" : [["EXPRESSION", {
149
                                "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
150
                              ]]}
151
                            ]]}
152
                          ], ["EXPRESSION", {
153
                            "args" : [["EXPRESSION", {
154
                              "args" : [["EXPRESSION", {
155
                                "args" : [["CALL", ["SIMPLE_NAME", "now"]]]}
156
                              ]]}
157
                            ]]}
158
                          ]]}
159
                        ], ["EXPRESSION", {
160
                          "id" : "/=", "args" : [["EXPRESSION", {
161
                            "args" : [["EXPRESSION", {
162
                              "args" : [["EXPRESSION", {
163
                                "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
164
                              ]]}
165
                            ]]}
166
                          ], ["EXPRESSION", {
167
                            "args" : [["EXPRESSION", {
168
                              "args" : [["EXPRESSION", {
169
                                "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "S_INITIAL"]]]}
170
                              ]]}
171
                            ]]}
172
                          ]]}
173
                        ]]}
174
                      ]]}
175
                    ]]}
176
                  ]]}
177
                ]]}
178
              ], "if_block" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
179
                "lhs" : ["SIMPLE_NAME", "k"], "rhs" : ["EXPRESSION", {
180
                  "args" : [["EXPRESSION", {
181
                    "args" : [["EXPRESSION", {
182
                      "args" : [["EXPRESSION", {
183
                        "args" : [["CONSTANT_VALUE", {
184
                          "value" : ["CST_LITERAL", "1"]}
185
                        ]]}
186
                      ]]}
187
                    ]]}
188
                  ]]}
189
                ]}
190
              ]]}
191
            ]}
192
          ], ["ASSERTION_STATEMENT", {
193
            "cond" : ["EXPRESSION", {
194
              "args" : [["EXPRESSION", {
195
                "args" : [["EXPRESSION", {
196
                  "args" : [["EXPRESSION", {
197
                    "args" : [["EXPRESSION", {
198
                      "id" : "=", "args" : [["EXPRESSION", {
199
                        "args" : [["EXPRESSION", {
200
                          "args" : [["EXPRESSION", {
201
                            "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
202
                          ]]}
203
                        ]]}
204
                      ], ["EXPRESSION", {
205
                        "args" : [["EXPRESSION", {
206
                          "args" : [["EXPRESSION", {
207
                            "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
208
                          ]]}
209
                        ]]}
210
                      ]]}
211
                    ]]}
212
                  ]]}
213
                ]]}
214
              ]]}
215
            ]}
216
          ], ["ASSERTION_STATEMENT", {
217
            "cond" : ["EXPRESSION", {
218
              "args" : [["EXPRESSION", {
219
                "args" : [["EXPRESSION", {
220
                  "args" : [["EXPRESSION", {
221
                    "args" : [["EXPRESSION", {
222
                      "id" : "=", "args" : [["EXPRESSION", {
223
                        "args" : [["EXPRESSION", {
224
                          "args" : [["EXPRESSION", {
225
                            "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
226
                          ]]}
227
                        ]]}
228
                      ], ["EXPRESSION", {
229
                        "args" : [["EXPRESSION", {
230
                          "args" : [["EXPRESSION", {
231
                            "args" : [["EXPRESSION", {
232
                              "args" : [["EXPRESSION", {
233
                                "args" : [["EXPRESSION", {
234
                                  "args" : [["EXPRESSION", {
235
                                    "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "S_INITIAL"]]]}
236
                                  ]]}
237
                                ]]}
238
                              ]]}
239
                            ]]}
240
                          ]]}
241
                        ]]}
242
                      ]]}
243
                    ]]}
244
                  ]]}
245
                ]]}
246
              ]]}
247
            ]}
248
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
249
            "lhs" : ["SIMPLE_NAME", "ShouldBeTime"], "rhs" : ["EXPRESSION", {
250
              "args" : [["EXPRESSION", {
251
                "args" : [["EXPRESSION", {
252
                  "args" : [["EXPRESSION", {
253
                    "id" : "+", "args" : [["EXPRESSION", {
254
                      "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
255
                    ], ["EXPRESSION", {
256
                      "args" : [["CONSTANT_VALUE", {
257
                        "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
258
                      ]]}
259
                    ]]}
260
                  ]]}
261
                ]]}
262
              ]]}
263
            ]}
264
          ], ["WAIT_STATEMENT"], ["IF_STATEMENT", {
265
            "if_cases" : [{
266
              "if_cond" : ["EXPRESSION", {
267
                "args" : [["EXPRESSION", {
268
                  "args" : [["EXPRESSION", {
269
                    "args" : [["EXPRESSION", {
270
                      "args" : [["EXPRESSION", {
271
                        "id" : "and", "args" : [["EXPRESSION", {
272
                          "id" : "/=", "args" : [["EXPRESSION", {
273
                            "args" : [["EXPRESSION", {
274
                              "args" : [["EXPRESSION", {
275
                                "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
276
                              ]]}
277
                            ]]}
278
                          ], ["EXPRESSION", {
279
                            "args" : [["EXPRESSION", {
280
                              "args" : [["EXPRESSION", {
281
                                "args" : [["CALL", ["SIMPLE_NAME", "now"]]]}
282
                              ]]}
283
                            ]]}
284
                          ]]}
285
                        ], ["EXPRESSION", {
286
                          "id" : "/=", "args" : [["EXPRESSION", {
287
                            "args" : [["EXPRESSION", {
288
                              "args" : [["EXPRESSION", {
289
                                "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
290
                              ]]}
291
                            ]]}
292
                          ], ["EXPRESSION", {
293
                            "args" : [["EXPRESSION", {
294
                              "args" : [["EXPRESSION", {
295
                                "args" : [["CALL", ["SIMPLE_NAME", "S_INITIAL"]]]}
296
                              ]]}
297
                            ]]}
298
                          ]]}
299
                        ]]}
300
                      ]]}
301
                    ]]}
302
                  ]]}
303
                ]]}
304
              ], "if_block" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
305
                "lhs" : ["SIMPLE_NAME", "k"], "rhs" : ["EXPRESSION", {
306
                  "args" : [["EXPRESSION", {
307
                    "args" : [["EXPRESSION", {
308
                      "args" : [["EXPRESSION", {
309
                        "args" : [["CONSTANT_VALUE", {
310
                          "value" : ["CST_LITERAL", "1"]}
311
                        ]]}
312
                      ]]}
313
                    ]]}
314
                  ]]}
315
                ]}
316
              ]]}
317
            ]}
318
          ], ["ASSERTION_STATEMENT", {
319
            "cond" : ["EXPRESSION", {
320
              "args" : [["EXPRESSION", {
321
                "args" : [["EXPRESSION", {
322
                  "args" : [["EXPRESSION", {
323
                    "args" : [["EXPRESSION", {
324
                      "id" : "=", "args" : [["EXPRESSION", {
325
                        "args" : [["EXPRESSION", {
326
                          "args" : [["EXPRESSION", {
327
                            "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
328
                          ]]}
329
                        ]]}
330
                      ], ["EXPRESSION", {
331
                        "args" : [["EXPRESSION", {
332
                          "args" : [["EXPRESSION", {
333
                            "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
334
                          ]]}
335
                        ]]}
336
                      ]]}
337
                    ]]}
338
                  ]]}
339
                ]]}
340
              ]]}
341
            ]}
342
          ], ["ASSERTION_STATEMENT", {
343
            "cond" : ["EXPRESSION", {
344
              "args" : [["EXPRESSION", {
345
                "args" : [["EXPRESSION", {
346
                  "args" : [["EXPRESSION", {
347
                    "args" : [["EXPRESSION", {
348
                      "id" : "=", "args" : [["EXPRESSION", {
349
                        "args" : [["EXPRESSION", {
350
                          "args" : [["EXPRESSION", {
351
                            "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
352
                          ]]}
353
                        ]]}
354
                      ], ["EXPRESSION", {
355
                        "args" : [["EXPRESSION", {
356
                          "args" : [["EXPRESSION", {
357
                            "args" : [["CALL", ["SIMPLE_NAME", "S_INITIAL"]]]}
358
                          ]]}
359
                        ]]}
360
                      ]]}
361
                    ]]}
362
                  ]]}
363
                ]]}
364
              ]]}
365
            ]}
366
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
367
            "lhs" : ["SIMPLE_NAME", "S_INITIAL"], "rhs" : ["EXPRESSION", {
368
              "args" : [["EXPRESSION", {
369
                "args" : [["EXPRESSION", {
370
                  "args" : [["EXPRESSION", {
371
                    "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
372
                  ]]}
373
                ]]}
374
              ]]}
375
            ]}
376
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
377
            "lhs" : ["SIMPLE_NAME", "S"], "rhs" : [{
378
              "value" : ["EXPRESSION", {
379
                "args" : [["EXPRESSION", {
380
                  "args" : [["EXPRESSION", {
381
                    "args" : [["EXPRESSION", {
382
                      "args" : [["EXPRESSION", {
383
                        "args" : [["EXPRESSION", {
384
                          "args" : [["EXPRESSION", {
385
                            "args" : [["EXPRESSION", {
386
                              "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
387
                            ]]}
388
                          ]]}
389
                        ]]}
390
                      ]]}
391
                    ]]}
392
                  ]]}
393
                ]]}
394
              ], "delay" : ["EXPRESSION", {
395
                "args" : [["EXPRESSION", {
396
                  "args" : [["EXPRESSION", {
397
                    "args" : [["EXPRESSION", {
398
                      "args" : [["CONSTANT_VALUE", {
399
                        "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
400
                      ]]}
401
                    ]]}
402
                  ]]}
403
                ]]}
404
              ]}
405
            ]}
406
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
407
            "lhs" : ["SIMPLE_NAME", "S"], "rhs" : [{
408
              "value" : ["EXPRESSION", {
409
                "args" : [["EXPRESSION", {
410
                  "args" : [["EXPRESSION", {
411
                    "args" : [["EXPRESSION", {
412
                      "args" : [["EXPRESSION", {
413
                        "args" : [["EXPRESSION", {
414
                          "args" : [["EXPRESSION", {
415
                            "args" : [["EXPRESSION", {
416
                              "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
417
                            ]]}
418
                          ]]}
419
                        ]]}
420
                      ]]}
421
                    ]]}
422
                  ]]}
423
                ]]}
424
              ], "delay" : ["EXPRESSION", {
425
                "args" : [["EXPRESSION", {
426
                  "args" : [["EXPRESSION", {
427
                    "args" : [["EXPRESSION", {
428
                      "args" : [["CONSTANT_VALUE", {
429
                        "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
430
                      ]]}
431
                    ]]}
432
                  ]]}
433
                ]]}
434
              ]}
435
            ]}
436
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
437
            "lhs" : ["SIMPLE_NAME", "ShouldBeTime"], "rhs" : ["EXPRESSION", {
438
              "args" : [["EXPRESSION", {
439
                "args" : [["EXPRESSION", {
440
                  "args" : [["EXPRESSION", {
441
                    "id" : "+", "args" : [["EXPRESSION", {
442
                      "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
443
                    ], ["EXPRESSION", {
444
                      "args" : [["CONSTANT_VALUE", {
445
                        "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
446
                      ]]}
447
                    ]]}
448
                  ]]}
449
                ]]}
450
              ]]}
451
            ]}
452
          ], ["WAIT_STATEMENT"], ["IF_STATEMENT", {
453
            "if_cases" : [{
454
              "if_cond" : ["EXPRESSION", {
455
                "args" : [["EXPRESSION", {
456
                  "args" : [["EXPRESSION", {
457
                    "args" : [["EXPRESSION", {
458
                      "args" : [["EXPRESSION", {
459
                        "id" : "and", "args" : [["EXPRESSION", {
460
                          "id" : "/=", "args" : [["EXPRESSION", {
461
                            "args" : [["EXPRESSION", {
462
                              "args" : [["EXPRESSION", {
463
                                "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
464
                              ]]}
465
                            ]]}
466
                          ], ["EXPRESSION", {
467
                            "args" : [["EXPRESSION", {
468
                              "args" : [["EXPRESSION", {
469
                                "args" : [["CALL", ["SIMPLE_NAME", "now"]]]}
470
                              ]]}
471
                            ]]}
472
                          ]]}
473
                        ], ["EXPRESSION", {
474
                          "id" : "/=", "args" : [["EXPRESSION", {
475
                            "args" : [["EXPRESSION", {
476
                              "args" : [["EXPRESSION", {
477
                                "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
478
                              ]]}
479
                            ]]}
480
                          ], ["EXPRESSION", {
481
                            "args" : [["EXPRESSION", {
482
                              "args" : [["EXPRESSION", {
483
                                "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "S_INITIAL"]]]}
484
                              ]]}
485
                            ]]}
486
                          ]]}
487
                        ]]}
488
                      ]]}
489
                    ]]}
490
                  ]]}
491
                ]]}
492
              ], "if_block" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
493
                "lhs" : ["SIMPLE_NAME", "k"], "rhs" : ["EXPRESSION", {
494
                  "args" : [["EXPRESSION", {
495
                    "args" : [["EXPRESSION", {
496
                      "args" : [["EXPRESSION", {
497
                        "args" : [["CONSTANT_VALUE", {
498
                          "value" : ["CST_LITERAL", "1"]}
499
                        ]]}
500
                      ]]}
501
                    ]]}
502
                  ]]}
503
                ]}
504
              ]]}
505
            ]}
506
          ], ["ASSERTION_STATEMENT", {
507
            "cond" : ["EXPRESSION", {
508
              "args" : [["EXPRESSION", {
509
                "args" : [["EXPRESSION", {
510
                  "args" : [["EXPRESSION", {
511
                    "args" : [["EXPRESSION", {
512
                      "id" : "=", "args" : [["EXPRESSION", {
513
                        "args" : [["EXPRESSION", {
514
                          "args" : [["EXPRESSION", {
515
                            "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
516
                          ]]}
517
                        ]]}
518
                      ], ["EXPRESSION", {
519
                        "args" : [["EXPRESSION", {
520
                          "args" : [["EXPRESSION", {
521
                            "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
522
                          ]]}
523
                        ]]}
524
                      ]]}
525
                    ]]}
526
                  ]]}
527
                ]]}
528
              ]]}
529
            ]}
530
          ], ["ASSERTION_STATEMENT", {
531
            "cond" : ["EXPRESSION", {
532
              "args" : [["EXPRESSION", {
533
                "args" : [["EXPRESSION", {
534
                  "args" : [["EXPRESSION", {
535
                    "args" : [["EXPRESSION", {
536
                      "id" : "=", "args" : [["EXPRESSION", {
537
                        "args" : [["EXPRESSION", {
538
                          "args" : [["EXPRESSION", {
539
                            "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
540
                          ]]}
541
                        ]]}
542
                      ], ["EXPRESSION", {
543
                        "args" : [["EXPRESSION", {
544
                          "args" : [["EXPRESSION", {
545
                            "args" : [["EXPRESSION", {
546
                              "args" : [["EXPRESSION", {
547
                                "args" : [["EXPRESSION", {
548
                                  "args" : [["EXPRESSION", {
549
                                    "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "S_INITIAL"]]]}
550
                                  ]]}
551
                                ]]}
552
                              ]]}
553
                            ]]}
554
                          ]]}
555
                        ]]}
556
                      ]]}
557
                    ]]}
558
                  ]]}
559
                ]]}
560
              ]]}
561
            ]}
562
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
563
            "lhs" : ["SIMPLE_NAME", "ShouldBeTime"], "rhs" : ["EXPRESSION", {
564
              "args" : [["EXPRESSION", {
565
                "args" : [["EXPRESSION", {
566
                  "args" : [["EXPRESSION", {
567
                    "id" : "+", "args" : [["EXPRESSION", {
568
                      "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
569
                    ], ["EXPRESSION", {
570
                      "args" : [["CONSTANT_VALUE", {
571
                        "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
572
                      ]]}
573
                    ]]}
574
                  ]]}
575
                ]]}
576
              ]]}
577
            ]}
578
          ], ["WAIT_STATEMENT"], ["IF_STATEMENT", {
579
            "if_cases" : [{
580
              "if_cond" : ["EXPRESSION", {
581
                "args" : [["EXPRESSION", {
582
                  "args" : [["EXPRESSION", {
583
                    "args" : [["EXPRESSION", {
584
                      "args" : [["EXPRESSION", {
585
                        "id" : "/=", "args" : [["EXPRESSION", {
586
                          "args" : [["EXPRESSION", {
587
                            "args" : [["EXPRESSION", {
588
                              "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
589
                            ]]}
590
                          ]]}
591
                        ], ["EXPRESSION", {
592
                          "args" : [["EXPRESSION", {
593
                            "args" : [["EXPRESSION", {
594
                              "args" : [["CALL", ["SIMPLE_NAME", "now"]]]}
595
                            ]]}
596
                          ]]}
597
                        ]]}
598
                      ]]}
599
                    ]]}
600
                  ]]}
601
                ]]}
602
              ], "if_block" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
603
                "lhs" : ["SIMPLE_NAME", "k"], "rhs" : ["EXPRESSION", {
604
                  "args" : [["EXPRESSION", {
605
                    "args" : [["EXPRESSION", {
606
                      "args" : [["EXPRESSION", {
607
                        "args" : [["CONSTANT_VALUE", {
608
                          "value" : ["CST_LITERAL", "1"]}
609
                        ]]}
610
                      ]]}
611
                    ]]}
612
                  ]]}
613
                ]}
614
              ]]}
615
            ]}
616
          ], ["ASSERTION_STATEMENT", {
617
            "cond" : ["EXPRESSION", {
618
              "args" : [["EXPRESSION", {
619
                "args" : [["EXPRESSION", {
620
                  "args" : [["EXPRESSION", {
621
                    "args" : [["EXPRESSION", {
622
                      "id" : "=", "args" : [["EXPRESSION", {
623
                        "args" : [["EXPRESSION", {
624
                          "args" : [["EXPRESSION", {
625
                            "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
626
                          ]]}
627
                        ]]}
628
                      ], ["EXPRESSION", {
629
                        "args" : [["EXPRESSION", {
630
                          "args" : [["EXPRESSION", {
631
                            "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
632
                          ]]}
633
                        ]]}
634
                      ]]}
635
                    ]]}
636
                  ]]}
637
                ]]}
638
              ]]}
639
            ]}
640
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
641
            "lhs" : ["SIMPLE_NAME", "S_INITIAL"], "rhs" : ["EXPRESSION", {
642
              "args" : [["EXPRESSION", {
643
                "args" : [["EXPRESSION", {
644
                  "args" : [["EXPRESSION", {
645
                    "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
646
                  ]]}
647
                ]]}
648
              ]]}
649
            ]}
650
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
651
            "lhs" : ["SIMPLE_NAME", "S"], "rhs" : [{
652
              "value" : ["EXPRESSION", {
653
                "args" : [["EXPRESSION", {
654
                  "args" : [["EXPRESSION", {
655
                    "args" : [["EXPRESSION", {
656
                      "args" : [["EXPRESSION", {
657
                        "args" : [["EXPRESSION", {
658
                          "args" : [["EXPRESSION", {
659
                            "args" : [["EXPRESSION", {
660
                              "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
661
                            ]]}
662
                          ]]}
663
                        ]]}
664
                      ]]}
665
                    ]]}
666
                  ]]}
667
                ]]}
668
              ], "delay" : ["EXPRESSION", {
669
                "args" : [["EXPRESSION", {
670
                  "args" : [["EXPRESSION", {
671
                    "args" : [["EXPRESSION", {
672
                      "args" : [["CONSTANT_VALUE", {
673
                        "value" : ["CST_LITERAL", "15"], "unit_name" : ["SIMPLE_NAME", "ns"]}
674
                      ]]}
675
                    ]]}
676
                  ]]}
677
                ]]}
678
              ]}
679
            ]}
680
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
681
            "lhs" : ["SIMPLE_NAME", "S"], "rhs" : [{
682
              "value" : ["EXPRESSION", {
683
                "args" : [["EXPRESSION", {
684
                  "args" : [["EXPRESSION", {
685
                    "args" : [["EXPRESSION", {
686
                      "args" : [["EXPRESSION", {
687
                        "args" : [["EXPRESSION", {
688
                          "args" : [["EXPRESSION", {
689
                            "args" : [["EXPRESSION", {
690
                              "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
691
                            ]]}
692
                          ]]}
693
                        ]]}
694
                      ]]}
695
                    ]]}
696
                  ]]}
697
                ]]}
698
              ], "delay" : ["EXPRESSION", {
699
                "args" : [["EXPRESSION", {
700
                  "args" : [["EXPRESSION", {
701
                    "args" : [["EXPRESSION", {
702
                      "args" : [["CONSTANT_VALUE", {
703
                        "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
704
                      ]]}
705
                    ]]}
706
                  ]]}
707
                ]]}
708
              ]}
709
            ]}
710
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
711
            "lhs" : ["SIMPLE_NAME", "ShouldBeTime"], "rhs" : ["EXPRESSION", {
712
              "args" : [["EXPRESSION", {
713
                "args" : [["EXPRESSION", {
714
                  "args" : [["EXPRESSION", {
715
                    "id" : "+", "args" : [["EXPRESSION", {
716
                      "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
717
                    ], ["EXPRESSION", {
718
                      "args" : [["CONSTANT_VALUE", {
719
                        "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
720
                      ]]}
721
                    ]]}
722
                  ]]}
723
                ]]}
724
              ]]}
725
            ]}
726
          ], ["WAIT_STATEMENT"], ["IF_STATEMENT", {
727
            "if_cases" : [{
728
              "if_cond" : ["EXPRESSION", {
729
                "args" : [["EXPRESSION", {
730
                  "args" : [["EXPRESSION", {
731
                    "args" : [["EXPRESSION", {
732
                      "args" : [["EXPRESSION", {
733
                        "id" : "and", "args" : [["EXPRESSION", {
734
                          "id" : "/=", "args" : [["EXPRESSION", {
735
                            "args" : [["EXPRESSION", {
736
                              "args" : [["EXPRESSION", {
737
                                "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
738
                              ]]}
739
                            ]]}
740
                          ], ["EXPRESSION", {
741
                            "args" : [["EXPRESSION", {
742
                              "args" : [["EXPRESSION", {
743
                                "args" : [["CALL", ["SIMPLE_NAME", "now"]]]}
744
                              ]]}
745
                            ]]}
746
                          ]]}
747
                        ], ["EXPRESSION", {
748
                          "id" : "/=", "args" : [["EXPRESSION", {
749
                            "args" : [["EXPRESSION", {
750
                              "args" : [["EXPRESSION", {
751
                                "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
752
                              ]]}
753
                            ]]}
754
                          ], ["EXPRESSION", {
755
                            "args" : [["EXPRESSION", {
756
                              "args" : [["EXPRESSION", {
757
                                "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "S_INITIAL"]]]}
758
                              ]]}
759
                            ]]}
760
                          ]]}
761
                        ]]}
762
                      ]]}
763
                    ]]}
764
                  ]]}
765
                ]]}
766
              ], "if_block" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
767
                "lhs" : ["SIMPLE_NAME", "k"], "rhs" : ["EXPRESSION", {
768
                  "args" : [["EXPRESSION", {
769
                    "args" : [["EXPRESSION", {
770
                      "args" : [["EXPRESSION", {
771
                        "args" : [["CONSTANT_VALUE", {
772
                          "value" : ["CST_LITERAL", "1"]}
773
                        ]]}
774
                      ]]}
775
                    ]]}
776
                  ]]}
777
                ]}
778
              ]]}
779
            ]}
780
          ], ["ASSERTION_STATEMENT", {
781
            "cond" : ["EXPRESSION", {
782
              "args" : [["EXPRESSION", {
783
                "args" : [["EXPRESSION", {
784
                  "args" : [["EXPRESSION", {
785
                    "args" : [["EXPRESSION", {
786
                      "id" : "=", "args" : [["EXPRESSION", {
787
                        "args" : [["EXPRESSION", {
788
                          "args" : [["EXPRESSION", {
789
                            "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
790
                          ]]}
791
                        ]]}
792
                      ], ["EXPRESSION", {
793
                        "args" : [["EXPRESSION", {
794
                          "args" : [["EXPRESSION", {
795
                            "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
796
                          ]]}
797
                        ]]}
798
                      ]]}
799
                    ]]}
800
                  ]]}
801
                ]]}
802
              ]]}
803
            ]}
804
          ], ["ASSERTION_STATEMENT", {
805
            "cond" : ["EXPRESSION", {
806
              "args" : [["EXPRESSION", {
807
                "args" : [["EXPRESSION", {
808
                  "args" : [["EXPRESSION", {
809
                    "args" : [["EXPRESSION", {
810
                      "id" : "=", "args" : [["EXPRESSION", {
811
                        "args" : [["EXPRESSION", {
812
                          "args" : [["EXPRESSION", {
813
                            "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
814
                          ]]}
815
                        ]]}
816
                      ], ["EXPRESSION", {
817
                        "args" : [["EXPRESSION", {
818
                          "args" : [["EXPRESSION", {
819
                            "args" : [["EXPRESSION", {
820
                              "args" : [["EXPRESSION", {
821
                                "args" : [["EXPRESSION", {
822
                                  "args" : [["EXPRESSION", {
823
                                    "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "S_INITIAL"]]]}
824
                                  ]]}
825
                                ]]}
826
                              ]]}
827
                            ]]}
828
                          ]]}
829
                        ]]}
830
                      ]]}
831
                    ]]}
832
                  ]]}
833
                ]]}
834
              ]]}
835
            ]}
836
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
837
            "lhs" : ["SIMPLE_NAME", "ShouldBeTime"], "rhs" : ["EXPRESSION", {
838
              "args" : [["EXPRESSION", {
839
                "args" : [["EXPRESSION", {
840
                  "args" : [["EXPRESSION", {
841
                    "id" : "+", "args" : [["EXPRESSION", {
842
                      "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
843
                    ], ["EXPRESSION", {
844
                      "args" : [["CONSTANT_VALUE", {
845
                        "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
846
                      ]]}
847
                    ]]}
848
                  ]]}
849
                ]]}
850
              ]]}
851
            ]}
852
          ], ["WAIT_STATEMENT"], ["IF_STATEMENT", {
853
            "if_cases" : [{
854
              "if_cond" : ["EXPRESSION", {
855
                "args" : [["EXPRESSION", {
856
                  "args" : [["EXPRESSION", {
857
                    "args" : [["EXPRESSION", {
858
                      "args" : [["EXPRESSION", {
859
                        "id" : "/=", "args" : [["EXPRESSION", {
860
                          "args" : [["EXPRESSION", {
861
                            "args" : [["EXPRESSION", {
862
                              "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
863
                            ]]}
864
                          ]]}
865
                        ], ["EXPRESSION", {
866
                          "args" : [["EXPRESSION", {
867
                            "args" : [["EXPRESSION", {
868
                              "args" : [["CALL", ["SIMPLE_NAME", "now"]]]}
869
                            ]]}
870
                          ]]}
871
                        ]]}
872
                      ]]}
873
                    ]]}
874
                  ]]}
875
                ]]}
876
              ], "if_block" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
877
                "lhs" : ["SIMPLE_NAME", "k"], "rhs" : ["EXPRESSION", {
878
                  "args" : [["EXPRESSION", {
879
                    "args" : [["EXPRESSION", {
880
                      "args" : [["EXPRESSION", {
881
                        "args" : [["CONSTANT_VALUE", {
882
                          "value" : ["CST_LITERAL", "1"]}
883
                        ]]}
884
                      ]]}
885
                    ]]}
886
                  ]]}
887
                ]}
888
              ]]}
889
            ]}
890
          ], ["ASSERTION_STATEMENT", {
891
            "cond" : ["EXPRESSION", {
892
              "args" : [["EXPRESSION", {
893
                "args" : [["EXPRESSION", {
894
                  "args" : [["EXPRESSION", {
895
                    "args" : [["EXPRESSION", {
896
                      "id" : "=", "args" : [["EXPRESSION", {
897
                        "args" : [["EXPRESSION", {
898
                          "args" : [["EXPRESSION", {
899
                            "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
900
                          ]]}
901
                        ]]}
902
                      ], ["EXPRESSION", {
903
                        "args" : [["EXPRESSION", {
904
                          "args" : [["EXPRESSION", {
905
                            "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
906
                          ]]}
907
                        ]]}
908
                      ]]}
909
                    ]]}
910
                  ]]}
911
                ]]}
912
              ]]}
913
            ]}
914
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
915
            "lhs" : ["SIMPLE_NAME", "S_INITIAL"], "rhs" : ["EXPRESSION", {
916
              "args" : [["EXPRESSION", {
917
                "args" : [["EXPRESSION", {
918
                  "args" : [["EXPRESSION", {
919
                    "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
920
                  ]]}
921
                ]]}
922
              ]]}
923
            ]}
924
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
925
            "lhs" : ["SIMPLE_NAME", "S"], "rhs" : [{
926
              "value" : ["EXPRESSION", {
927
                "args" : [["EXPRESSION", {
928
                  "args" : [["EXPRESSION", {
929
                    "args" : [["EXPRESSION", {
930
                      "args" : [["EXPRESSION", {
931
                        "args" : [["EXPRESSION", {
932
                          "args" : [["EXPRESSION", {
933
                            "args" : [["EXPRESSION", {
934
                              "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
935
                            ]]}
936
                          ]]}
937
                        ]]}
938
                      ]]}
939
                    ]]}
940
                  ]]}
941
                ]]}
942
              ], "delay" : ["EXPRESSION", {
943
                "args" : [["EXPRESSION", {
944
                  "args" : [["EXPRESSION", {
945
                    "args" : [["EXPRESSION", {
946
                      "args" : [["CONSTANT_VALUE", {
947
                        "value" : ["CST_LITERAL", "15"], "unit_name" : ["SIMPLE_NAME", "ns"]}
948
                      ]]}
949
                    ]]}
950
                  ]]}
951
                ]]}
952
              ]}
953
            , {
954
              "value" : ["EXPRESSION", {
955
                "args" : [["EXPRESSION", {
956
                  "args" : [["EXPRESSION", {
957
                    "args" : [["EXPRESSION", {
958
                      "args" : [["EXPRESSION", {
959
                        "args" : [["EXPRESSION", {
960
                          "args" : [["EXPRESSION", {
961
                            "args" : [["EXPRESSION", {
962
                              "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
963
                            ]]}
964
                          ]]}
965
                        ]]}
966
                      ]]}
967
                    ]]}
968
                  ]]}
969
                ]]}
970
              ], "delay" : ["EXPRESSION", {
971
                "args" : [["EXPRESSION", {
972
                  "args" : [["EXPRESSION", {
973
                    "args" : [["EXPRESSION", {
974
                      "args" : [["CONSTANT_VALUE", {
975
                        "value" : ["CST_LITERAL", "30"], "unit_name" : ["SIMPLE_NAME", "ns"]}
976
                      ]]}
977
                    ]]}
978
                  ]]}
979
                ]]}
980
              ]}
981
            ]}
982
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
983
            "lhs" : ["SIMPLE_NAME", "S"], "rhs" : [{
984
              "value" : ["EXPRESSION", {
985
                "args" : [["EXPRESSION", {
986
                  "args" : [["EXPRESSION", {
987
                    "args" : [["EXPRESSION", {
988
                      "args" : [["EXPRESSION", {
989
                        "args" : [["EXPRESSION", {
990
                          "args" : [["EXPRESSION", {
991
                            "args" : [["EXPRESSION", {
992
                              "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
993
                            ]]}
994
                          ]]}
995
                        ]]}
996
                      ]]}
997
                    ]]}
998
                  ]]}
999
                ]]}
1000
              ], "delay" : ["EXPRESSION", {
1001
                "args" : [["EXPRESSION", {
1002
                  "args" : [["EXPRESSION", {
1003
                    "args" : [["EXPRESSION", {
1004
                      "args" : [["CONSTANT_VALUE", {
1005
                        "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
1006
                      ]]}
1007
                    ]]}
1008
                  ]]}
1009
                ]]}
1010
              ]}
1011
            , {
1012
              "value" : ["EXPRESSION", {
1013
                "args" : [["EXPRESSION", {
1014
                  "args" : [["EXPRESSION", {
1015
                    "args" : [["EXPRESSION", {
1016
                      "args" : [["EXPRESSION", {
1017
                        "args" : [["EXPRESSION", {
1018
                          "args" : [["EXPRESSION", {
1019
                            "args" : [["EXPRESSION", {
1020
                              "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
1021
                            ]]}
1022
                          ]]}
1023
                        ]]}
1024
                      ]]}
1025
                    ]]}
1026
                  ]]}
1027
                ]]}
1028
              ], "delay" : ["EXPRESSION", {
1029
                "args" : [["EXPRESSION", {
1030
                  "args" : [["EXPRESSION", {
1031
                    "args" : [["EXPRESSION", {
1032
                      "args" : [["CONSTANT_VALUE", {
1033
                        "value" : ["CST_LITERAL", "20"], "unit_name" : ["SIMPLE_NAME", "ns"]}
1034
                      ]]}
1035
                    ]]}
1036
                  ]]}
1037
                ]]}
1038
              ]}
1039
            ]}
1040
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
1041
            "lhs" : ["SIMPLE_NAME", "ShouldBeTime"], "rhs" : ["EXPRESSION", {
1042
              "args" : [["EXPRESSION", {
1043
                "args" : [["EXPRESSION", {
1044
                  "args" : [["EXPRESSION", {
1045
                    "id" : "+", "args" : [["EXPRESSION", {
1046
                      "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
1047
                    ], ["EXPRESSION", {
1048
                      "args" : [["CONSTANT_VALUE", {
1049
                        "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
1050
                      ]]}
1051
                    ]]}
1052
                  ]]}
1053
                ]]}
1054
              ]]}
1055
            ]}
1056
          ], ["WAIT_STATEMENT"], ["IF_STATEMENT", {
1057
            "if_cases" : [{
1058
              "if_cond" : ["EXPRESSION", {
1059
                "args" : [["EXPRESSION", {
1060
                  "args" : [["EXPRESSION", {
1061
                    "args" : [["EXPRESSION", {
1062
                      "args" : [["EXPRESSION", {
1063
                        "id" : "and", "args" : [["EXPRESSION", {
1064
                          "id" : "/=", "args" : [["EXPRESSION", {
1065
                            "args" : [["EXPRESSION", {
1066
                              "args" : [["EXPRESSION", {
1067
                                "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
1068
                              ]]}
1069
                            ]]}
1070
                          ], ["EXPRESSION", {
1071
                            "args" : [["EXPRESSION", {
1072
                              "args" : [["EXPRESSION", {
1073
                                "args" : [["CALL", ["SIMPLE_NAME", "now"]]]}
1074
                              ]]}
1075
                            ]]}
1076
                          ]]}
1077
                        ], ["EXPRESSION", {
1078
                          "id" : "/=", "args" : [["EXPRESSION", {
1079
                            "args" : [["EXPRESSION", {
1080
                              "args" : [["EXPRESSION", {
1081
                                "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
1082
                              ]]}
1083
                            ]]}
1084
                          ], ["EXPRESSION", {
1085
                            "args" : [["EXPRESSION", {
1086
                              "args" : [["EXPRESSION", {
1087
                                "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "S_INITIAL"]]]}
1088
                              ]]}
1089
                            ]]}
1090
                          ]]}
1091
                        ]]}
1092
                      ]]}
1093
                    ]]}
1094
                  ]]}
1095
                ]]}
1096
              ], "if_block" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
1097
                "lhs" : ["SIMPLE_NAME", "k"], "rhs" : ["EXPRESSION", {
1098
                  "args" : [["EXPRESSION", {
1099
                    "args" : [["EXPRESSION", {
1100
                      "args" : [["EXPRESSION", {
1101
                        "args" : [["CONSTANT_VALUE", {
1102
                          "value" : ["CST_LITERAL", "1"]}
1103
                        ]]}
1104
                      ]]}
1105
                    ]]}
1106
                  ]]}
1107
                ]}
1108
              ]]}
1109
            ]}
1110
          ], ["ASSERTION_STATEMENT", {
1111
            "cond" : ["EXPRESSION", {
1112
              "args" : [["EXPRESSION", {
1113
                "args" : [["EXPRESSION", {
1114
                  "args" : [["EXPRESSION", {
1115
                    "args" : [["EXPRESSION", {
1116
                      "id" : "=", "args" : [["EXPRESSION", {
1117
                        "args" : [["EXPRESSION", {
1118
                          "args" : [["EXPRESSION", {
1119
                            "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
1120
                          ]]}
1121
                        ]]}
1122
                      ], ["EXPRESSION", {
1123
                        "args" : [["EXPRESSION", {
1124
                          "args" : [["EXPRESSION", {
1125
                            "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
1126
                          ]]}
1127
                        ]]}
1128
                      ]]}
1129
                    ]]}
1130
                  ]]}
1131
                ]]}
1132
              ]]}
1133
            ]}
1134
          ], ["ASSERTION_STATEMENT", {
1135
            "cond" : ["EXPRESSION", {
1136
              "args" : [["EXPRESSION", {
1137
                "args" : [["EXPRESSION", {
1138
                  "args" : [["EXPRESSION", {
1139
                    "args" : [["EXPRESSION", {
1140
                      "id" : "=", "args" : [["EXPRESSION", {
1141
                        "args" : [["EXPRESSION", {
1142
                          "args" : [["EXPRESSION", {
1143
                            "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
1144
                          ]]}
1145
                        ]]}
1146
                      ], ["EXPRESSION", {
1147
                        "args" : [["EXPRESSION", {
1148
                          "args" : [["EXPRESSION", {
1149
                            "args" : [["EXPRESSION", {
1150
                              "args" : [["EXPRESSION", {
1151
                                "args" : [["EXPRESSION", {
1152
                                  "args" : [["EXPRESSION", {
1153
                                    "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "S_INITIAL"]]]}
1154
                                  ]]}
1155
                                ]]}
1156
                              ]]}
1157
                            ]]}
1158
                          ]]}
1159
                        ]]}
1160
                      ]]}
1161
                    ]]}
1162
                  ]]}
1163
                ]]}
1164
              ]]}
1165
            ]}
1166
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
1167
            "lhs" : ["SIMPLE_NAME", "ShouldBeTime"], "rhs" : ["EXPRESSION", {
1168
              "args" : [["EXPRESSION", {
1169
                "args" : [["EXPRESSION", {
1170
                  "args" : [["EXPRESSION", {
1171
                    "id" : "+", "args" : [["EXPRESSION", {
1172
                      "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
1173
                    ], ["EXPRESSION", {
1174
                      "args" : [["CONSTANT_VALUE", {
1175
                        "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
1176
                      ]]}
1177
                    ]]}
1178
                  ]]}
1179
                ]]}
1180
              ]]}
1181
            ]}
1182
          ], ["WAIT_STATEMENT"], ["IF_STATEMENT", {
1183
            "if_cases" : [{
1184
              "if_cond" : ["EXPRESSION", {
1185
                "args" : [["EXPRESSION", {
1186
                  "args" : [["EXPRESSION", {
1187
                    "args" : [["EXPRESSION", {
1188
                      "args" : [["EXPRESSION", {
1189
                        "id" : "and", "args" : [["EXPRESSION", {
1190
                          "id" : "/=", "args" : [["EXPRESSION", {
1191
                            "args" : [["EXPRESSION", {
1192
                              "args" : [["EXPRESSION", {
1193
                                "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
1194
                              ]]}
1195
                            ]]}
1196
                          ], ["EXPRESSION", {
1197
                            "args" : [["EXPRESSION", {
1198
                              "args" : [["EXPRESSION", {
1199
                                "args" : [["CALL", ["SIMPLE_NAME", "now"]]]}
1200
                              ]]}
1201
                            ]]}
1202
                          ]]}
1203
                        ], ["EXPRESSION", {
1204
                          "id" : "/=", "args" : [["EXPRESSION", {
1205
                            "args" : [["EXPRESSION", {
1206
                              "args" : [["EXPRESSION", {
1207
                                "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
1208
                              ]]}
1209
                            ]]}
1210
                          ], ["EXPRESSION", {
1211
                            "args" : [["EXPRESSION", {
1212
                              "args" : [["EXPRESSION", {
1213
                                "args" : [["CALL", ["SIMPLE_NAME", "S_INITIAL"]]]}
1214
                              ]]}
1215
                            ]]}
1216
                          ]]}
1217
                        ]]}
1218
                      ]]}
1219
                    ]]}
1220
                  ]]}
1221
                ]]}
1222
              ], "if_block" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
1223
                "lhs" : ["SIMPLE_NAME", "k"], "rhs" : ["EXPRESSION", {
1224
                  "args" : [["EXPRESSION", {
1225
                    "args" : [["EXPRESSION", {
1226
                      "args" : [["EXPRESSION", {
1227
                        "args" : [["CONSTANT_VALUE", {
1228
                          "value" : ["CST_LITERAL", "1"]}
1229
                        ]]}
1230
                      ]]}
1231
                    ]]}
1232
                  ]]}
1233
                ]}
1234
              ]]}
1235
            ]}
1236
          ], ["ASSERTION_STATEMENT", {
1237
            "cond" : ["EXPRESSION", {
1238
              "args" : [["EXPRESSION", {
1239
                "args" : [["EXPRESSION", {
1240
                  "args" : [["EXPRESSION", {
1241
                    "args" : [["EXPRESSION", {
1242
                      "id" : "=", "args" : [["EXPRESSION", {
1243
                        "args" : [["EXPRESSION", {
1244
                          "args" : [["EXPRESSION", {
1245
                            "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
1246
                          ]]}
1247
                        ]]}
1248
                      ], ["EXPRESSION", {
1249
                        "args" : [["EXPRESSION", {
1250
                          "args" : [["EXPRESSION", {
1251
                            "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
1252
                          ]]}
1253
                        ]]}
1254
                      ]]}
1255
                    ]]}
1256
                  ]]}
1257
                ]]}
1258
              ]]}
1259
            ]}
1260
          ], ["ASSERTION_STATEMENT", {
1261
            "cond" : ["EXPRESSION", {
1262
              "args" : [["EXPRESSION", {
1263
                "args" : [["EXPRESSION", {
1264
                  "args" : [["EXPRESSION", {
1265
                    "args" : [["EXPRESSION", {
1266
                      "id" : "=", "args" : [["EXPRESSION", {
1267
                        "args" : [["EXPRESSION", {
1268
                          "args" : [["EXPRESSION", {
1269
                            "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
1270
                          ]]}
1271
                        ]]}
1272
                      ], ["EXPRESSION", {
1273
                        "args" : [["EXPRESSION", {
1274
                          "args" : [["EXPRESSION", {
1275
                            "args" : [["CALL", ["SIMPLE_NAME", "S_INITIAL"]]]}
1276
                          ]]}
1277
                        ]]}
1278
                      ]]}
1279
                    ]]}
1280
                  ]]}
1281
                ]]}
1282
              ]]}
1283
            ]}
1284
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
1285
            "lhs" : ["SIMPLE_NAME", "ShouldBeTime"], "rhs" : ["EXPRESSION", {
1286
              "args" : [["EXPRESSION", {
1287
                "args" : [["EXPRESSION", {
1288
                  "args" : [["EXPRESSION", {
1289
                    "id" : "+", "args" : [["EXPRESSION", {
1290
                      "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
1291
                    ], ["EXPRESSION", {
1292
                      "args" : [["CONSTANT_VALUE", {
1293
                        "value" : ["CST_LITERAL", "40"], "unit_name" : ["SIMPLE_NAME", "ns"]}
1294
                      ]]}
1295
                    ]]}
1296
                  ]]}
1297
                ]]}
1298
              ]]}
1299
            ]}
1300
          ], ["WAIT_STATEMENT"], ["IF_STATEMENT", {
1301
            "if_cases" : [{
1302
              "if_cond" : ["EXPRESSION", {
1303
                "args" : [["EXPRESSION", {
1304
                  "args" : [["EXPRESSION", {
1305
                    "args" : [["EXPRESSION", {
1306
                      "args" : [["EXPRESSION", {
1307
                        "id" : "/=", "args" : [["EXPRESSION", {
1308
                          "args" : [["EXPRESSION", {
1309
                            "args" : [["EXPRESSION", {
1310
                              "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
1311
                            ]]}
1312
                          ]]}
1313
                        ], ["EXPRESSION", {
1314
                          "args" : [["EXPRESSION", {
1315
                            "args" : [["EXPRESSION", {
1316
                              "args" : [["CALL", ["SIMPLE_NAME", "now"]]]}
1317
                            ]]}
1318
                          ]]}
1319
                        ]]}
1320
                      ]]}
1321
                    ]]}
1322
                  ]]}
1323
                ]]}
1324
              ], "if_block" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
1325
                "lhs" : ["SIMPLE_NAME", "k"], "rhs" : ["EXPRESSION", {
1326
                  "args" : [["EXPRESSION", {
1327
                    "args" : [["EXPRESSION", {
1328
                      "args" : [["EXPRESSION", {
1329
                        "args" : [["CONSTANT_VALUE", {
1330
                          "value" : ["CST_LITERAL", "1"]}
1331
                        ]]}
1332
                      ]]}
1333
                    ]]}
1334
                  ]]}
1335
                ]}
1336
              ]]}
1337
            ]}
1338
          ], ["ASSERTION_STATEMENT", {
1339
            "cond" : ["EXPRESSION", {
1340
              "args" : [["EXPRESSION", {
1341
                "args" : [["EXPRESSION", {
1342
                  "args" : [["EXPRESSION", {
1343
                    "args" : [["EXPRESSION", {
1344
                      "id" : "=", "args" : [["EXPRESSION", {
1345
                        "args" : [["EXPRESSION", {
1346
                          "args" : [["EXPRESSION", {
1347
                            "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
1348
                          ]]}
1349
                        ]]}
1350
                      ], ["EXPRESSION", {
1351
                        "args" : [["EXPRESSION", {
1352
                          "args" : [["EXPRESSION", {
1353
                            "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
1354
                          ]]}
1355
                        ]]}
1356
                      ]]}
1357
                    ]]}
1358
                  ]]}
1359
                ]]}
1360
              ]]}
1361
            ]}
1362
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
1363
            "lhs" : ["SIMPLE_NAME", "S_INITIAL"], "rhs" : ["EXPRESSION", {
1364
              "args" : [["EXPRESSION", {
1365
                "args" : [["EXPRESSION", {
1366
                  "args" : [["EXPRESSION", {
1367
                    "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
1368
                  ]]}
1369
                ]]}
1370
              ]]}
1371
            ]}
1372
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
1373
            "lhs" : ["SIMPLE_NAME", "S"], "rhs" : [{
1374
              "value" : ["EXPRESSION", {
1375
                "args" : [["EXPRESSION", {
1376
                  "args" : [["EXPRESSION", {
1377
                    "args" : [["EXPRESSION", {
1378
                      "args" : [["EXPRESSION", {
1379
                        "args" : [["EXPRESSION", {
1380
                          "args" : [["EXPRESSION", {
1381
                            "args" : [["EXPRESSION", {
1382
                              "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
1383
                            ]]}
1384
                          ]]}
1385
                        ]]}
1386
                      ]]}
1387
                    ]]}
1388
                  ]]}
1389
                ]]}
1390
              ], "delay" : ["EXPRESSION", {
1391
                "args" : [["EXPRESSION", {
1392
                  "args" : [["EXPRESSION", {
1393
                    "args" : [["EXPRESSION", {
1394
                      "args" : [["CONSTANT_VALUE", {
1395
                        "value" : ["CST_LITERAL", "5"], "unit_name" : ["SIMPLE_NAME", "ns"]}
1396
                      ]]}
1397
                    ]]}
1398
                  ]]}
1399
                ]]}
1400
              ]}
1401
            ]}
1402
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
1403
            "lhs" : ["SIMPLE_NAME", "S"], "rhs" : [{
1404
              "value" : ["EXPRESSION", {
1405
                "args" : [["EXPRESSION", {
1406
                  "args" : [["EXPRESSION", {
1407
                    "args" : [["EXPRESSION", {
1408
                      "args" : [["EXPRESSION", {
1409
                        "args" : [["EXPRESSION", {
1410
                          "args" : [["EXPRESSION", {
1411
                            "args" : [["EXPRESSION", {
1412
                              "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
1413
                            ]]}
1414
                          ]]}
1415
                        ]]}
1416
                      ]]}
1417
                    ]]}
1418
                  ]]}
1419
                ]]}
1420
              ], "delay" : ["EXPRESSION", {
1421
                "args" : [["EXPRESSION", {
1422
                  "args" : [["EXPRESSION", {
1423
                    "args" : [["EXPRESSION", {
1424
                      "args" : [["CONSTANT_VALUE", {
1425
                        "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
1426
                      ]]}
1427
                    ]]}
1428
                  ]]}
1429
                ]]}
1430
              ]}
1431
            , {
1432
              "value" : ["EXPRESSION", {
1433
                "args" : [["EXPRESSION", {
1434
                  "args" : [["EXPRESSION", {
1435
                    "args" : [["EXPRESSION", {
1436
                      "args" : [["EXPRESSION", {
1437
                        "args" : [["EXPRESSION", {
1438
                          "args" : [["EXPRESSION", {
1439
                            "args" : [["EXPRESSION", {
1440
                              "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
1441
                            ]]}
1442
                          ]]}
1443
                        ]]}
1444
                      ]]}
1445
                    ]]}
1446
                  ]]}
1447
                ]]}
1448
              ], "delay" : ["EXPRESSION", {
1449
                "args" : [["EXPRESSION", {
1450
                  "args" : [["EXPRESSION", {
1451
                    "args" : [["EXPRESSION", {
1452
                      "args" : [["CONSTANT_VALUE", {
1453
                        "value" : ["CST_LITERAL", "20"], "unit_name" : ["SIMPLE_NAME", "ns"]}
1454
                      ]]}
1455
                    ]]}
1456
                  ]]}
1457
                ]]}
1458
              ]}
1459
            ]}
1460
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
1461
            "lhs" : ["SIMPLE_NAME", "ShouldBeTime"], "rhs" : ["EXPRESSION", {
1462
              "args" : [["EXPRESSION", {
1463
                "args" : [["EXPRESSION", {
1464
                  "args" : [["EXPRESSION", {
1465
                    "id" : "+", "args" : [["EXPRESSION", {
1466
                      "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
1467
                    ], ["EXPRESSION", {
1468
                      "args" : [["CONSTANT_VALUE", {
1469
                        "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
1470
                      ]]}
1471
                    ]]}
1472
                  ]]}
1473
                ]]}
1474
              ]]}
1475
            ]}
1476
          ], ["WAIT_STATEMENT"], ["IF_STATEMENT", {
1477
            "if_cases" : [{
1478
              "if_cond" : ["EXPRESSION", {
1479
                "args" : [["EXPRESSION", {
1480
                  "args" : [["EXPRESSION", {
1481
                    "args" : [["EXPRESSION", {
1482
                      "args" : [["EXPRESSION", {
1483
                        "id" : "and", "args" : [["EXPRESSION", {
1484
                          "id" : "/=", "args" : [["EXPRESSION", {
1485
                            "args" : [["EXPRESSION", {
1486
                              "args" : [["EXPRESSION", {
1487
                                "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
1488
                              ]]}
1489
                            ]]}
1490
                          ], ["EXPRESSION", {
1491
                            "args" : [["EXPRESSION", {
1492
                              "args" : [["EXPRESSION", {
1493
                                "args" : [["CALL", ["SIMPLE_NAME", "now"]]]}
1494
                              ]]}
1495
                            ]]}
1496
                          ]]}
1497
                        ], ["EXPRESSION", {
1498
                          "id" : "/=", "args" : [["EXPRESSION", {
1499
                            "args" : [["EXPRESSION", {
1500
                              "args" : [["EXPRESSION", {
1501
                                "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
1502
                              ]]}
1503
                            ]]}
1504
                          ], ["EXPRESSION", {
1505
                            "args" : [["EXPRESSION", {
1506
                              "args" : [["EXPRESSION", {
1507
                                "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "S_INITIAL"]]]}
1508
                              ]]}
1509
                            ]]}
1510
                          ]]}
1511
                        ]]}
1512
                      ]]}
1513
                    ]]}
1514
                  ]]}
1515
                ]]}
1516
              ], "if_block" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
1517
                "lhs" : ["SIMPLE_NAME", "k"], "rhs" : ["EXPRESSION", {
1518
                  "args" : [["EXPRESSION", {
1519
                    "args" : [["EXPRESSION", {
1520
                      "args" : [["EXPRESSION", {
1521
                        "args" : [["CONSTANT_VALUE", {
1522
                          "value" : ["CST_LITERAL", "1"]}
1523
                        ]]}
1524
                      ]]}
1525
                    ]]}
1526
                  ]]}
1527
                ]}
1528
              ]]}
1529
            ]}
1530
          ], ["ASSERTION_STATEMENT", {
1531
            "cond" : ["EXPRESSION", {
1532
              "args" : [["EXPRESSION", {
1533
                "args" : [["EXPRESSION", {
1534
                  "args" : [["EXPRESSION", {
1535
                    "args" : [["EXPRESSION", {
1536
                      "id" : "=", "args" : [["EXPRESSION", {
1537
                        "args" : [["EXPRESSION", {
1538
                          "args" : [["EXPRESSION", {
1539
                            "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
1540
                          ]]}
1541
                        ]]}
1542
                      ], ["EXPRESSION", {
1543
                        "args" : [["EXPRESSION", {
1544
                          "args" : [["EXPRESSION", {
1545
                            "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
1546
                          ]]}
1547
                        ]]}
1548
                      ]]}
1549
                    ]]}
1550
                  ]]}
1551
                ]]}
1552
              ]]}
1553
            ]}
1554
          ], ["ASSERTION_STATEMENT", {
1555
            "cond" : ["EXPRESSION", {
1556
              "args" : [["EXPRESSION", {
1557
                "args" : [["EXPRESSION", {
1558
                  "args" : [["EXPRESSION", {
1559
                    "args" : [["EXPRESSION", {
1560
                      "id" : "=", "args" : [["EXPRESSION", {
1561
                        "args" : [["EXPRESSION", {
1562
                          "args" : [["EXPRESSION", {
1563
                            "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
1564
                          ]]}
1565
                        ]]}
1566
                      ], ["EXPRESSION", {
1567
                        "args" : [["EXPRESSION", {
1568
                          "args" : [["EXPRESSION", {
1569
                            "args" : [["EXPRESSION", {
1570
                              "args" : [["EXPRESSION", {
1571
                                "args" : [["EXPRESSION", {
1572
                                  "args" : [["EXPRESSION", {
1573
                                    "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "S_INITIAL"]]]}
1574
                                  ]]}
1575
                                ]]}
1576
                              ]]}
1577
                            ]]}
1578
                          ]]}
1579
                        ]]}
1580
                      ]]}
1581
                    ]]}
1582
                  ]]}
1583
                ]]}
1584
              ]]}
1585
            ]}
1586
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
1587
            "lhs" : ["SIMPLE_NAME", "ShouldBeTime"], "rhs" : ["EXPRESSION", {
1588
              "args" : [["EXPRESSION", {
1589
                "args" : [["EXPRESSION", {
1590
                  "args" : [["EXPRESSION", {
1591
                    "id" : "+", "args" : [["EXPRESSION", {
1592
                      "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
1593
                    ], ["EXPRESSION", {
1594
                      "args" : [["CONSTANT_VALUE", {
1595
                        "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
1596
                      ]]}
1597
                    ]]}
1598
                  ]]}
1599
                ]]}
1600
              ]]}
1601
            ]}
1602
          ], ["WAIT_STATEMENT"], ["IF_STATEMENT", {
1603
            "if_cases" : [{
1604
              "if_cond" : ["EXPRESSION", {
1605
                "args" : [["EXPRESSION", {
1606
                  "args" : [["EXPRESSION", {
1607
                    "args" : [["EXPRESSION", {
1608
                      "args" : [["EXPRESSION", {
1609
                        "id" : "and", "args" : [["EXPRESSION", {
1610
                          "id" : "/=", "args" : [["EXPRESSION", {
1611
                            "args" : [["EXPRESSION", {
1612
                              "args" : [["EXPRESSION", {
1613
                                "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
1614
                              ]]}
1615
                            ]]}
1616
                          ], ["EXPRESSION", {
1617
                            "args" : [["EXPRESSION", {
1618
                              "args" : [["EXPRESSION", {
1619
                                "args" : [["CALL", ["SIMPLE_NAME", "now"]]]}
1620
                              ]]}
1621
                            ]]}
1622
                          ]]}
1623
                        ], ["EXPRESSION", {
1624
                          "id" : "/=", "args" : [["EXPRESSION", {
1625
                            "args" : [["EXPRESSION", {
1626
                              "args" : [["EXPRESSION", {
1627
                                "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
1628
                              ]]}
1629
                            ]]}
1630
                          ], ["EXPRESSION", {
1631
                            "args" : [["EXPRESSION", {
1632
                              "args" : [["EXPRESSION", {
1633
                                "args" : [["CALL", ["SIMPLE_NAME", "S_INITIAL"]]]}
1634
                              ]]}
1635
                            ]]}
1636
                          ]]}
1637
                        ]]}
1638
                      ]]}
1639
                    ]]}
1640
                  ]]}
1641
                ]]}
1642
              ], "if_block" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
1643
                "lhs" : ["SIMPLE_NAME", "k"], "rhs" : ["EXPRESSION", {
1644
                  "args" : [["EXPRESSION", {
1645
                    "args" : [["EXPRESSION", {
1646
                      "args" : [["EXPRESSION", {
1647
                        "args" : [["CONSTANT_VALUE", {
1648
                          "value" : ["CST_LITERAL", "1"]}
1649
                        ]]}
1650
                      ]]}
1651
                    ]]}
1652
                  ]]}
1653
                ]}
1654
              ]]}
1655
            ]}
1656
          ], ["ASSERTION_STATEMENT", {
1657
            "cond" : ["EXPRESSION", {
1658
              "args" : [["EXPRESSION", {
1659
                "args" : [["EXPRESSION", {
1660
                  "args" : [["EXPRESSION", {
1661
                    "args" : [["EXPRESSION", {
1662
                      "id" : "=", "args" : [["EXPRESSION", {
1663
                        "args" : [["EXPRESSION", {
1664
                          "args" : [["EXPRESSION", {
1665
                            "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
1666
                          ]]}
1667
                        ]]}
1668
                      ], ["EXPRESSION", {
1669
                        "args" : [["EXPRESSION", {
1670
                          "args" : [["EXPRESSION", {
1671
                            "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
1672
                          ]]}
1673
                        ]]}
1674
                      ]]}
1675
                    ]]}
1676
                  ]]}
1677
                ]]}
1678
              ]]}
1679
            ]}
1680
          ], ["ASSERTION_STATEMENT", {
1681
            "cond" : ["EXPRESSION", {
1682
              "args" : [["EXPRESSION", {
1683
                "args" : [["EXPRESSION", {
1684
                  "args" : [["EXPRESSION", {
1685
                    "args" : [["EXPRESSION", {
1686
                      "id" : "=", "args" : [["EXPRESSION", {
1687
                        "args" : [["EXPRESSION", {
1688
                          "args" : [["EXPRESSION", {
1689
                            "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
1690
                          ]]}
1691
                        ]]}
1692
                      ], ["EXPRESSION", {
1693
                        "args" : [["EXPRESSION", {
1694
                          "args" : [["EXPRESSION", {
1695
                            "args" : [["CALL", ["SIMPLE_NAME", "S_INITIAL"]]]}
1696
                          ]]}
1697
                        ]]}
1698
                      ]]}
1699
                    ]]}
1700
                  ]]}
1701
                ]]}
1702
              ]]}
1703
            ]}
1704
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
1705
            "lhs" : ["SIMPLE_NAME", "ShouldBeTime"], "rhs" : ["EXPRESSION", {
1706
              "args" : [["EXPRESSION", {
1707
                "args" : [["EXPRESSION", {
1708
                  "args" : [["EXPRESSION", {
1709
                    "id" : "+", "args" : [["EXPRESSION", {
1710
                      "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
1711
                    ], ["EXPRESSION", {
1712
                      "args" : [["CONSTANT_VALUE", {
1713
                        "value" : ["CST_LITERAL", "40"], "unit_name" : ["SIMPLE_NAME", "ns"]}
1714
                      ]]}
1715
                    ]]}
1716
                  ]]}
1717
                ]]}
1718
              ]]}
1719
            ]}
1720
          ], ["WAIT_STATEMENT"], ["IF_STATEMENT", {
1721
            "if_cases" : [{
1722
              "if_cond" : ["EXPRESSION", {
1723
                "args" : [["EXPRESSION", {
1724
                  "args" : [["EXPRESSION", {
1725
                    "args" : [["EXPRESSION", {
1726
                      "args" : [["EXPRESSION", {
1727
                        "id" : "/=", "args" : [["EXPRESSION", {
1728
                          "args" : [["EXPRESSION", {
1729
                            "args" : [["EXPRESSION", {
1730
                              "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
1731
                            ]]}
1732
                          ]]}
1733
                        ], ["EXPRESSION", {
1734
                          "args" : [["EXPRESSION", {
1735
                            "args" : [["EXPRESSION", {
1736
                              "args" : [["CALL", ["SIMPLE_NAME", "now"]]]}
1737
                            ]]}
1738
                          ]]}
1739
                        ]]}
1740
                      ]]}
1741
                    ]]}
1742
                  ]]}
1743
                ]]}
1744
              ], "if_block" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
1745
                "lhs" : ["SIMPLE_NAME", "k"], "rhs" : ["EXPRESSION", {
1746
                  "args" : [["EXPRESSION", {
1747
                    "args" : [["EXPRESSION", {
1748
                      "args" : [["EXPRESSION", {
1749
                        "args" : [["CONSTANT_VALUE", {
1750
                          "value" : ["CST_LITERAL", "1"]}
1751
                        ]]}
1752
                      ]]}
1753
                    ]]}
1754
                  ]]}
1755
                ]}
1756
              ]]}
1757
            ]}
1758
          ], ["ASSERTION_STATEMENT", {
1759
            "cond" : ["EXPRESSION", {
1760
              "args" : [["EXPRESSION", {
1761
                "args" : [["EXPRESSION", {
1762
                  "args" : [["EXPRESSION", {
1763
                    "args" : [["EXPRESSION", {
1764
                      "id" : "=", "args" : [["EXPRESSION", {
1765
                        "args" : [["EXPRESSION", {
1766
                          "args" : [["EXPRESSION", {
1767
                            "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
1768
                          ]]}
1769
                        ]]}
1770
                      ], ["EXPRESSION", {
1771
                        "args" : [["EXPRESSION", {
1772
                          "args" : [["EXPRESSION", {
1773
                            "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
1774
                          ]]}
1775
                        ]]}
1776
                      ]]}
1777
                    ]]}
1778
                  ]]}
1779
                ]]}
1780
              ]]}
1781
            ]}
1782
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
1783
            "lhs" : ["SIMPLE_NAME", "S_INITIAL"], "rhs" : ["EXPRESSION", {
1784
              "args" : [["EXPRESSION", {
1785
                "args" : [["EXPRESSION", {
1786
                  "args" : [["EXPRESSION", {
1787
                    "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
1788
                  ]]}
1789
                ]]}
1790
              ]]}
1791
            ]}
1792
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
1793
            "lhs" : ["SIMPLE_NAME", "S"], "rhs" : [{
1794
              "value" : ["EXPRESSION", {
1795
                "args" : [["EXPRESSION", {
1796
                  "args" : [["EXPRESSION", {
1797
                    "args" : [["EXPRESSION", {
1798
                      "args" : [["EXPRESSION", {
1799
                        "args" : [["EXPRESSION", {
1800
                          "args" : [["EXPRESSION", {
1801
                            "args" : [["EXPRESSION", {
1802
                              "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
1803
                            ]]}
1804
                          ]]}
1805
                        ]]}
1806
                      ]]}
1807
                    ]]}
1808
                  ]]}
1809
                ]]}
1810
              ], "delay" : ["EXPRESSION", {
1811
                "args" : [["EXPRESSION", {
1812
                  "args" : [["EXPRESSION", {
1813
                    "args" : [["EXPRESSION", {
1814
                      "args" : [["CONSTANT_VALUE", {
1815
                        "value" : ["CST_LITERAL", "5"], "unit_name" : ["SIMPLE_NAME", "ns"]}
1816
                      ]]}
1817
                    ]]}
1818
                  ]]}
1819
                ]]}
1820
              ]}
1821
            ]}
1822
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
1823
            "lhs" : ["SIMPLE_NAME", "S"], "rhs" : [{
1824
              "value" : ["EXPRESSION", {
1825
                "args" : [["EXPRESSION", {
1826
                  "args" : [["EXPRESSION", {
1827
                    "args" : [["EXPRESSION", {
1828
                      "args" : [["EXPRESSION", {
1829
                        "args" : [["EXPRESSION", {
1830
                          "args" : [["EXPRESSION", {
1831
                            "args" : [["EXPRESSION", {
1832
                              "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
1833
                            ]]}
1834
                          ]]}
1835
                        ]]}
1836
                      ]]}
1837
                    ]]}
1838
                  ]]}
1839
                ]]}
1840
              ], "delay" : ["EXPRESSION", {
1841
                "args" : [["EXPRESSION", {
1842
                  "args" : [["EXPRESSION", {
1843
                    "args" : [["EXPRESSION", {
1844
                      "args" : [["CONSTANT_VALUE", {
1845
                        "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
1846
                      ]]}
1847
                    ]]}
1848
                  ]]}
1849
                ]]}
1850
              ]}
1851
            , {
1852
              "value" : ["EXPRESSION", {
1853
                "args" : [["EXPRESSION", {
1854
                  "args" : [["EXPRESSION", {
1855
                    "args" : [["EXPRESSION", {
1856
                      "args" : [["EXPRESSION", {
1857
                        "args" : [["EXPRESSION", {
1858
                          "args" : [["EXPRESSION", {
1859
                            "args" : [["EXPRESSION", {
1860
                              "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
1861
                            ]]}
1862
                          ]]}
1863
                        ]]}
1864
                      ]]}
1865
                    ]]}
1866
                  ]]}
1867
                ]]}
1868
              ], "delay" : ["EXPRESSION", {
1869
                "args" : [["EXPRESSION", {
1870
                  "args" : [["EXPRESSION", {
1871
                    "args" : [["EXPRESSION", {
1872
                      "args" : [["CONSTANT_VALUE", {
1873
                        "value" : ["CST_LITERAL", "20"], "unit_name" : ["SIMPLE_NAME", "ns"]}
1874
                      ]]}
1875
                    ]]}
1876
                  ]]}
1877
                ]]}
1878
              ]}
1879
            ]}
1880
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
1881
            "lhs" : ["SIMPLE_NAME", "ShouldBeTime"], "rhs" : ["EXPRESSION", {
1882
              "args" : [["EXPRESSION", {
1883
                "args" : [["EXPRESSION", {
1884
                  "args" : [["EXPRESSION", {
1885
                    "id" : "+", "args" : [["EXPRESSION", {
1886
                      "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
1887
                    ], ["EXPRESSION", {
1888
                      "args" : [["CONSTANT_VALUE", {
1889
                        "value" : ["CST_LITERAL", "5"], "unit_name" : ["SIMPLE_NAME", "ns"]}
1890
                      ]]}
1891
                    ]]}
1892
                  ]]}
1893
                ]]}
1894
              ]]}
1895
            ]}
1896
          ], ["WAIT_STATEMENT"], ["IF_STATEMENT", {
1897
            "if_cases" : [{
1898
              "if_cond" : ["EXPRESSION", {
1899
                "args" : [["EXPRESSION", {
1900
                  "args" : [["EXPRESSION", {
1901
                    "args" : [["EXPRESSION", {
1902
                      "args" : [["EXPRESSION", {
1903
                        "id" : "and", "args" : [["EXPRESSION", {
1904
                          "id" : "/=", "args" : [["EXPRESSION", {
1905
                            "args" : [["EXPRESSION", {
1906
                              "args" : [["EXPRESSION", {
1907
                                "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
1908
                              ]]}
1909
                            ]]}
1910
                          ], ["EXPRESSION", {
1911
                            "args" : [["EXPRESSION", {
1912
                              "args" : [["EXPRESSION", {
1913
                                "args" : [["CALL", ["SIMPLE_NAME", "now"]]]}
1914
                              ]]}
1915
                            ]]}
1916
                          ]]}
1917
                        ], ["EXPRESSION", {
1918
                          "id" : "/=", "args" : [["EXPRESSION", {
1919
                            "args" : [["EXPRESSION", {
1920
                              "args" : [["EXPRESSION", {
1921
                                "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
1922
                              ]]}
1923
                            ]]}
1924
                          ], ["EXPRESSION", {
1925
                            "args" : [["EXPRESSION", {
1926
                              "args" : [["EXPRESSION", {
1927
                                "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "S_INITIAL"]]]}
1928
                              ]]}
1929
                            ]]}
1930
                          ]]}
1931
                        ]]}
1932
                      ]]}
1933
                    ]]}
1934
                  ]]}
1935
                ]]}
1936
              ], "if_block" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
1937
                "lhs" : ["SIMPLE_NAME", "k"], "rhs" : ["EXPRESSION", {
1938
                  "args" : [["EXPRESSION", {
1939
                    "args" : [["EXPRESSION", {
1940
                      "args" : [["EXPRESSION", {
1941
                        "args" : [["CONSTANT_VALUE", {
1942
                          "value" : ["CST_LITERAL", "1"]}
1943
                        ]]}
1944
                      ]]}
1945
                    ]]}
1946
                  ]]}
1947
                ]}
1948
              ]]}
1949
            ]}
1950
          ], ["ASSERTION_STATEMENT", {
1951
            "cond" : ["EXPRESSION", {
1952
              "args" : [["EXPRESSION", {
1953
                "args" : [["EXPRESSION", {
1954
                  "args" : [["EXPRESSION", {
1955
                    "args" : [["EXPRESSION", {
1956
                      "id" : "=", "args" : [["EXPRESSION", {
1957
                        "args" : [["EXPRESSION", {
1958
                          "args" : [["EXPRESSION", {
1959
                            "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
1960
                          ]]}
1961
                        ]]}
1962
                      ], ["EXPRESSION", {
1963
                        "args" : [["EXPRESSION", {
1964
                          "args" : [["EXPRESSION", {
1965
                            "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
1966
                          ]]}
1967
                        ]]}
1968
                      ]]}
1969
                    ]]}
1970
                  ]]}
1971
                ]]}
1972
              ]]}
1973
            ]}
1974
          ], ["ASSERTION_STATEMENT", {
1975
            "cond" : ["EXPRESSION", {
1976
              "args" : [["EXPRESSION", {
1977
                "args" : [["EXPRESSION", {
1978
                  "args" : [["EXPRESSION", {
1979
                    "args" : [["EXPRESSION", {
1980
                      "id" : "=", "args" : [["EXPRESSION", {
1981
                        "args" : [["EXPRESSION", {
1982
                          "args" : [["EXPRESSION", {
1983
                            "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
1984
                          ]]}
1985
                        ]]}
1986
                      ], ["EXPRESSION", {
1987
                        "args" : [["EXPRESSION", {
1988
                          "args" : [["EXPRESSION", {
1989
                            "args" : [["EXPRESSION", {
1990
                              "args" : [["EXPRESSION", {
1991
                                "args" : [["EXPRESSION", {
1992
                                  "args" : [["EXPRESSION", {
1993
                                    "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "S_INITIAL"]]]}
1994
                                  ]]}
1995
                                ]]}
1996
                              ]]}
1997
                            ]]}
1998
                          ]]}
1999
                        ]]}
2000
                      ]]}
2001
                    ]]}
2002
                  ]]}
2003
                ]]}
2004
              ]]}
2005
            ]}
2006
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
2007
            "lhs" : ["SIMPLE_NAME", "ShouldBeTime"], "rhs" : ["EXPRESSION", {
2008
              "args" : [["EXPRESSION", {
2009
                "args" : [["EXPRESSION", {
2010
                  "args" : [["EXPRESSION", {
2011
                    "id" : "+", "args" : [["EXPRESSION", {
2012
                      "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
2013
                    ], ["EXPRESSION", {
2014
                      "args" : [["CONSTANT_VALUE", {
2015
                        "value" : ["CST_LITERAL", "15"], "unit_name" : ["SIMPLE_NAME", "ns"]}
2016
                      ]]}
2017
                    ]]}
2018
                  ]]}
2019
                ]]}
2020
              ]]}
2021
            ]}
2022
          ], ["WAIT_STATEMENT"], ["IF_STATEMENT", {
2023
            "if_cases" : [{
2024
              "if_cond" : ["EXPRESSION", {
2025
                "args" : [["EXPRESSION", {
2026
                  "args" : [["EXPRESSION", {
2027
                    "args" : [["EXPRESSION", {
2028
                      "args" : [["EXPRESSION", {
2029
                        "id" : "and", "args" : [["EXPRESSION", {
2030
                          "id" : "/=", "args" : [["EXPRESSION", {
2031
                            "args" : [["EXPRESSION", {
2032
                              "args" : [["EXPRESSION", {
2033
                                "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
2034
                              ]]}
2035
                            ]]}
2036
                          ], ["EXPRESSION", {
2037
                            "args" : [["EXPRESSION", {
2038
                              "args" : [["EXPRESSION", {
2039
                                "args" : [["CALL", ["SIMPLE_NAME", "now"]]]}
2040
                              ]]}
2041
                            ]]}
2042
                          ]]}
2043
                        ], ["EXPRESSION", {
2044
                          "id" : "/=", "args" : [["EXPRESSION", {
2045
                            "args" : [["EXPRESSION", {
2046
                              "args" : [["EXPRESSION", {
2047
                                "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
2048
                              ]]}
2049
                            ]]}
2050
                          ], ["EXPRESSION", {
2051
                            "args" : [["EXPRESSION", {
2052
                              "args" : [["EXPRESSION", {
2053
                                "args" : [["CALL", ["SIMPLE_NAME", "S_INITIAL"]]]}
2054
                              ]]}
2055
                            ]]}
2056
                          ]]}
2057
                        ]]}
2058
                      ]]}
2059
                    ]]}
2060
                  ]]}
2061
                ]]}
2062
              ], "if_block" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
2063
                "lhs" : ["SIMPLE_NAME", "k"], "rhs" : ["EXPRESSION", {
2064
                  "args" : [["EXPRESSION", {
2065
                    "args" : [["EXPRESSION", {
2066
                      "args" : [["EXPRESSION", {
2067
                        "args" : [["CONSTANT_VALUE", {
2068
                          "value" : ["CST_LITERAL", "1"]}
2069
                        ]]}
2070
                      ]]}
2071
                    ]]}
2072
                  ]]}
2073
                ]}
2074
              ]]}
2075
            ]}
2076
          ], ["ASSERTION_STATEMENT", {
2077
            "cond" : ["EXPRESSION", {
2078
              "args" : [["EXPRESSION", {
2079
                "args" : [["EXPRESSION", {
2080
                  "args" : [["EXPRESSION", {
2081
                    "args" : [["EXPRESSION", {
2082
                      "id" : "=", "args" : [["EXPRESSION", {
2083
                        "args" : [["EXPRESSION", {
2084
                          "args" : [["EXPRESSION", {
2085
                            "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
2086
                          ]]}
2087
                        ]]}
2088
                      ], ["EXPRESSION", {
2089
                        "args" : [["EXPRESSION", {
2090
                          "args" : [["EXPRESSION", {
2091
                            "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
2092
                          ]]}
2093
                        ]]}
2094
                      ]]}
2095
                    ]]}
2096
                  ]]}
2097
                ]]}
2098
              ]]}
2099
            ]}
2100
          ], ["ASSERTION_STATEMENT", {
2101
            "cond" : ["EXPRESSION", {
2102
              "args" : [["EXPRESSION", {
2103
                "args" : [["EXPRESSION", {
2104
                  "args" : [["EXPRESSION", {
2105
                    "args" : [["EXPRESSION", {
2106
                      "id" : "=", "args" : [["EXPRESSION", {
2107
                        "args" : [["EXPRESSION", {
2108
                          "args" : [["EXPRESSION", {
2109
                            "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
2110
                          ]]}
2111
                        ]]}
2112
                      ], ["EXPRESSION", {
2113
                        "args" : [["EXPRESSION", {
2114
                          "args" : [["EXPRESSION", {
2115
                            "args" : [["CALL", ["SIMPLE_NAME", "S_INITIAL"]]]}
2116
                          ]]}
2117
                        ]]}
2118
                      ]]}
2119
                    ]]}
2120
                  ]]}
2121
                ]]}
2122
              ]]}
2123
            ]}
2124
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
2125
            "lhs" : ["SIMPLE_NAME", "ShouldBeTime"], "rhs" : ["EXPRESSION", {
2126
              "args" : [["EXPRESSION", {
2127
                "args" : [["EXPRESSION", {
2128
                  "args" : [["EXPRESSION", {
2129
                    "id" : "+", "args" : [["EXPRESSION", {
2130
                      "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
2131
                    ], ["EXPRESSION", {
2132
                      "args" : [["CONSTANT_VALUE", {
2133
                        "value" : ["CST_LITERAL", "40"], "unit_name" : ["SIMPLE_NAME", "ns"]}
2134
                      ]]}
2135
                    ]]}
2136
                  ]]}
2137
                ]]}
2138
              ]]}
2139
            ]}
2140
          ], ["WAIT_STATEMENT"], ["IF_STATEMENT", {
2141
            "if_cases" : [{
2142
              "if_cond" : ["EXPRESSION", {
2143
                "args" : [["EXPRESSION", {
2144
                  "args" : [["EXPRESSION", {
2145
                    "args" : [["EXPRESSION", {
2146
                      "args" : [["EXPRESSION", {
2147
                        "id" : "/=", "args" : [["EXPRESSION", {
2148
                          "args" : [["EXPRESSION", {
2149
                            "args" : [["EXPRESSION", {
2150
                              "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
2151
                            ]]}
2152
                          ]]}
2153
                        ], ["EXPRESSION", {
2154
                          "args" : [["EXPRESSION", {
2155
                            "args" : [["EXPRESSION", {
2156
                              "args" : [["CALL", ["SIMPLE_NAME", "now"]]]}
2157
                            ]]}
2158
                          ]]}
2159
                        ]]}
2160
                      ]]}
2161
                    ]]}
2162
                  ]]}
2163
                ]]}
2164
              ], "if_block" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
2165
                "lhs" : ["SIMPLE_NAME", "k"], "rhs" : ["EXPRESSION", {
2166
                  "args" : [["EXPRESSION", {
2167
                    "args" : [["EXPRESSION", {
2168
                      "args" : [["EXPRESSION", {
2169
                        "args" : [["CONSTANT_VALUE", {
2170
                          "value" : ["CST_LITERAL", "1"]}
2171
                        ]]}
2172
                      ]]}
2173
                    ]]}
2174
                  ]]}
2175
                ]}
2176
              ]]}
2177
            ]}
2178
          ], ["ASSERTION_STATEMENT", {
2179
            "cond" : ["EXPRESSION", {
2180
              "args" : [["EXPRESSION", {
2181
                "args" : [["EXPRESSION", {
2182
                  "args" : [["EXPRESSION", {
2183
                    "args" : [["EXPRESSION", {
2184
                      "id" : "=", "args" : [["EXPRESSION", {
2185
                        "args" : [["EXPRESSION", {
2186
                          "args" : [["EXPRESSION", {
2187
                            "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
2188
                          ]]}
2189
                        ]]}
2190
                      ], ["EXPRESSION", {
2191
                        "args" : [["EXPRESSION", {
2192
                          "args" : [["EXPRESSION", {
2193
                            "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
2194
                          ]]}
2195
                        ]]}
2196
                      ]]}
2197
                    ]]}
2198
                  ]]}
2199
                ]]}
2200
              ]]}
2201
            ]}
2202
          ], ["ASSERTION_STATEMENT", {
2203
            "cond" : ["EXPRESSION", {
2204
              "args" : [["EXPRESSION", {
2205
                "args" : [["EXPRESSION", {
2206
                  "args" : [["EXPRESSION", {
2207
                    "id" : "NOT", "args" : [["EXPRESSION", {
2208
                      "id" : "=", "args" : [["EXPRESSION", {
2209
                        "args" : [["EXPRESSION", {
2210
                          "args" : [["EXPRESSION", {
2211
                            "args" : [["CALL", ["SIMPLE_NAME", "k"]]]}
2212
                          ]]}
2213
                        ]]}
2214
                      ], ["EXPRESSION", {
2215
                        "args" : [["EXPRESSION", {
2216
                          "args" : [["EXPRESSION", {
2217
                            "args" : [["CONSTANT_VALUE", {
2218
                              "value" : ["CST_LITERAL", "0"]}
2219
                            ]]}
2220
                          ]]}
2221
                        ]]}
2222
                      ]]}
2223
                    ]]}
2224
                  ]]}
2225
                ]]}
2226
              ]]}
2227
            ], "report" : ["EXPRESSION", {
2228
              "args" : [["EXPRESSION", {
2229
                "args" : [["EXPRESSION", {
2230
                  "args" : [["EXPRESSION", {
2231
                    "args" : [["CONSTANT_VALUE", {
2232
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c08s04b01x00p10n01i01349\""]}
2233
                    ]]}
2234
                  ]]}
2235
                ]]}
2236
              ]]}
2237
            ], "severity" : ["EXPRESSION", {
2238
              "args" : [["EXPRESSION", {
2239
                "args" : [["EXPRESSION", {
2240
                  "args" : [["EXPRESSION", {
2241
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
2242
                  ]]}
2243
                ]]}
2244
              ]]}
2245
            ]}
2246
          ], ["ASSERTION_STATEMENT", {
2247
            "cond" : ["EXPRESSION", {
2248
              "args" : [["EXPRESSION", {
2249
                "args" : [["EXPRESSION", {
2250
                  "args" : [["EXPRESSION", {
2251
                    "args" : [["EXPRESSION", {
2252
                      "id" : "=", "args" : [["EXPRESSION", {
2253
                        "args" : [["EXPRESSION", {
2254
                          "args" : [["EXPRESSION", {
2255
                            "args" : [["CALL", ["SIMPLE_NAME", "k"]]]}
2256
                          ]]}
2257
                        ]]}
2258
                      ], ["EXPRESSION", {
2259
                        "args" : [["EXPRESSION", {
2260
                          "args" : [["EXPRESSION", {
2261
                            "args" : [["CONSTANT_VALUE", {
2262
                              "value" : ["CST_LITERAL", "0"]}
2263
                            ]]}
2264
                          ]]}
2265
                        ]]}
2266
                      ]]}
2267
                    ]]}
2268
                  ]]}
2269
                ]]}
2270
              ]]}
2271
            ], "report" : ["EXPRESSION", {
2272
              "args" : [["EXPRESSION", {
2273
                "args" : [["EXPRESSION", {
2274
                  "args" : [["EXPRESSION", {
2275
                    "args" : [["CONSTANT_VALUE", {
2276
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c08s04b01x00p10n01i01349 - Interial signal assignment test failed.\""]}
2277
                    ]]}
2278
                  ]]}
2279
                ]]}
2280
              ]]}
2281
            ], "severity" : ["EXPRESSION", {
2282
              "args" : [["EXPRESSION", {
2283
                "args" : [["EXPRESSION", {
2284
                  "args" : [["EXPRESSION", {
2285
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
2286
                  ]]}
2287
                ]]}
2288
              ]]}
2289
            ]}
2290
          ], ["WAIT_STATEMENT"]]}
2291
        ]]}
2292
      ]}
2293
    ]}
2294
  }