567}
568#line 58 "Environment.c"
569int isHighWaterSensorDry(void)
570{ int retValue_acc ;
571
572 {
573#line 65 "Environment.c"
574 if (waterLevel < 2) {
575#line 243
576 retValue_acc = 1;
577#line 245
578 return (retValue_acc);
579 } else {
580#line 251 "Environment.c"
581 retValue_acc = 0;
582#line 253
583 return (retValue_acc);
584 }
585#line 260 "Environment.c"
586 return (retValue_acc);
587}
588}
589#line 1 "wsllib_check.o"
590#pragma merger(0,"wsllib_check.i","")
591#line 3 "wsllib_check.c"
592void __automaton_fail(void)
593{
594
595 {
596 goto ERROR;
597 ERROR: ;
598#line 53 "wsllib_check.c"
599 return;
600}
601}
602#line 1 "libacc.o"
603#pragma merger(0,"libacc.i","")
604#line 73 "/usr/include/assert.h"
605extern __attribute__((__nothrow__, __noreturn__)) void __assert_fail(char const *__assertion ,
606 char const *__file ,
607 unsigned int __line ,