714 {
715#line 209 "Environment.c"
716 retValue_acc = waterLevel;
717#line 211
718 return (retValue_acc);
719#line 218
720 return (retValue_acc);
721}
722}
723#line 58 "Environment.c"
724int isLowWaterSensorDry(void)
725{ int retValue_acc ;
726
727 {
728#line 240 "Environment.c"
729 retValue_acc = waterLevel == 0;
730#line 242
731 return (retValue_acc);
732#line 249
733 return (retValue_acc);
734}
735}
736#line 1 "wsllib_check.o"
737#pragma merger(0,"wsllib_check.i","")
738#line 3 "wsllib_check.c"
739void __automaton_fail(void)
740{
741
742 {
743 goto ERROR;
744 ERROR: ;
745#line 53 "wsllib_check.c"
746 return;
747}
748}
749#line 1 "libacc.o"
750#pragma merger(0,"libacc.i","")
751#line 73 "/usr/include/assert.h"
752extern __attribute__((__nothrow__, __noreturn__)) void __assert_fail(char const *__assertion ,
753 char const *__file ,
754 unsigned int __line ,