810 {
811#line 209 "Environment.c"
812 retValue_acc = waterLevel;
813#line 211
814 return (retValue_acc);
815#line 218
816 return (retValue_acc);
817}
818}
819#line 58 "Environment.c"
820int isLowWaterSensorDry(void)
821{ int retValue_acc ;
822
823 {
824#line 240 "Environment.c"
825 retValue_acc = waterLevel == 0;
826#line 242
827 return (retValue_acc);
828#line 249
829 return (retValue_acc);
830}
831}
832#line 1 "wsllib_check.o"
833#pragma merger(0,"wsllib_check.i","")
834#line 3 "wsllib_check.c"
835void __automaton_fail(void)
836{
837
838 {
839 goto ERROR;
840 ERROR: ;
841#line 53 "wsllib_check.c"
842 return;
843}
844}
845#line 1 "Test.o"
846#pragma merger(0,"Test.i","")
847#line 8 "Test.c"
848int cleanupTimeShifts = 4;
849#line 11 "Test.c"
850#line 20 "Test.c"