660}
661#line 58 "Environment.c"
662int isHighWaterSensorDry(void)
663{ int retValue_acc ;
664
665 {
666#line 65 "Environment.c"
667 if (waterLevel < 2) {
668#line 243
669 retValue_acc = 1;
670#line 245
671 return (retValue_acc);
672 } else {
673#line 251 "Environment.c"
674 retValue_acc = 0;
675#line 253
676 return (retValue_acc);
677 }
678#line 260 "Environment.c"
679 return (retValue_acc);
680}
681}
682#line 1 "wsllib_check.o"
683#pragma merger(0,"wsllib_check.i","")
684#line 3 "wsllib_check.c"
685void __automaton_fail(void)
686{
687
688 {
689 goto ERROR;
690 ERROR: ;
691#line 53 "wsllib_check.c"
692 return;
693}
694}
695#line 1 "featureselect.o"
696#pragma merger(0,"featureselect.i","")
697#line 8 "featureselect.h"
698int select_one(void) ;
699#line 8 "featureselect.c"
700int select_one(void)