609#line 253 "Environment.c"
610 retValue_acc = 0;
611#line 255
612 return (retValue_acc);
613 }
614#line 262 "Environment.c"
615 return (retValue_acc);
616}
617}
618#line 67 "Environment.c"
619int isLowWaterSensorDry(void)
620{ int retValue_acc ;
621
622 {
623#line 284 "Environment.c"
624 retValue_acc = waterLevel == 0;
625#line 286
626 return (retValue_acc);
627#line 293
628 return (retValue_acc);
629}
630}
631#line 1 "wsllib_check.o"
632#pragma merger(0,"wsllib_check.i","")
633#line 3 "wsllib_check.c"
634void __automaton_fail(void)
635{
636
637 {
638 goto ERROR;
639 ERROR: ;
640#line 53 "wsllib_check.c"
641 return;
642}
643}
644#line 1 "Test.o"
645#pragma merger(0,"Test.i","")
646#line 8 "Test.c"
647int cleanupTimeShifts = 4;
648#line 11 "Test.c"
649#line 17 "Test.c"