667#line 253 "Environment.c"
668 retValue_acc = 0;
669#line 255
670 return (retValue_acc);
671 }
672#line 262 "Environment.c"
673 return (retValue_acc);
674}
675}
676#line 67 "Environment.c"
677int isLowWaterSensorDry(void)
678{ int retValue_acc ;
679
680 {
681#line 284 "Environment.c"
682 retValue_acc = waterLevel == 0;
683#line 286
684 return (retValue_acc);
685#line 293
686 return (retValue_acc);
687}
688}
689#line 1 "wsllib_check.o"
690#pragma merger(0,"wsllib_check.i","")
691#line 3 "wsllib_check.c"
692void __automaton_fail(void)
693{
694
695 {
696 goto ERROR;
697 ERROR: ;
698#line 53 "wsllib_check.c"
699 return;
700}
701}
702#line 1 "Test.o"
703#pragma merger(0,"Test.i","")
704#line 8 "Test.c"
705int cleanupTimeShifts = 4;
706#line 11 "Test.c"
707#line 17 "Test.c"