830#line 253 "Environment.c"
831 retValue_acc = 0;
832#line 255
833 return (retValue_acc);
834 }
835#line 262 "Environment.c"
836 return (retValue_acc);
837}
838}
839#line 67 "Environment.c"
840int isLowWaterSensorDry(void)
841{ int retValue_acc ;
842
843 {
844#line 284 "Environment.c"
845 retValue_acc = waterLevel == 0;
846#line 286
847 return (retValue_acc);
848#line 293
849 return (retValue_acc);
850}
851}
852#line 1 "wsllib_check.o"
853#pragma merger(0,"wsllib_check.i","")
854#line 3 "wsllib_check.c"
855void __automaton_fail(void)
856{
857
858 {
859 goto ERROR;
860 ERROR: ;
861#line 53 "wsllib_check.c"
862 return;
863}
864}
865#line 1 "libacc.o"
866#pragma merger(0,"libacc.i","")
867#line 73 "/usr/include/assert.h"
868extern __attribute__((__nothrow__, __noreturn__)) void __assert_fail(char const *__assertion ,
869 char const *__file ,
870 unsigned int __line ,