557#line 13
558 stopSystem();
559 }
560 } else {
561
562 }
563 }
564 {
565#line 15
566 timeShift();
567 }
568 }
569 while_0_break: ;
570 }
571 {
572#line 17
573 cleanup();
574 }
575#line 78 "scenario.c"
576 return;
577}
578}
579#line 1 "wsllib_check.o"
580#pragma merger(0,"wsllib_check.i","")
581#line 3 "wsllib_check.c"
582void __automaton_fail(void)
583{
584
585 {
586 goto ERROR;
587 ERROR: ;
588#line 53 "wsllib_check.c"
589 return;
590}
591}
592#line 1 "Specification2_spec.o"
593#pragma merger(0,"Specification2_spec.i","")
594#line 7 "Specification2_spec.c"
595int methAndRunningLastTime ;
596#line 11 "Specification2_spec.c"
597__inline void __utac_acc__Specification2_spec__1(void)