828#line 253 "Environment.c"
829 retValue_acc = 0;
830#line 255
831 return (retValue_acc);
832 }
833#line 262 "Environment.c"
834 return (retValue_acc);
835}
836}
837#line 67 "Environment.c"
838int isLowWaterSensorDry(void)
839{ int retValue_acc ;
840
841 {
842#line 284 "Environment.c"
843 retValue_acc = waterLevel == 0;
844#line 286
845 return (retValue_acc);
846#line 293
847 return (retValue_acc);
848}
849}
850#line 1 "wsllib_check.o"
851#pragma merger(0,"wsllib_check.i","")
852#line 3 "wsllib_check.c"
853void __automaton_fail(void)
854{
855
856 {
857 goto ERROR;
858 ERROR: ;
859#line 53 "wsllib_check.c"
860 return;
861}
862}
863#line 1 "Specification3_spec.o"
864#pragma merger(0,"Specification3_spec.i","")
865#line 11 "Specification3_spec.c"
866void __utac_acc__Specification3_spec__1(void)
867{ int tmp ;
868 int tmp___0 ;