791#line 17
792 if (tmp) {
793 {
794#line 17
795 tmp___0 = isPumpRunning();
796 }
797#line 17
798 if (tmp___0) {
799 {
800#line 14
801 __automaton_fail();
802 }
803 } else {
804
805 }
806 } else {
807
808 }
809#line 14
810 return;
811}
812}
813#line 1 "wsllib_check.o"
814#pragma merger(0,"wsllib_check.i","")
815#line 3 "wsllib_check.c"
816void __automaton_fail(void)
817{
818
819 {
820 goto ERROR;
821 ERROR: ;
822#line 53 "wsllib_check.c"
823 return;
824}
825}
826#line 1 "Environment.o"
827#pragma merger(0,"Environment.i","")
828#line 4 "Environment.h"
829void lowerWaterLevel(void) ;
830#line 12
831int getWaterLevel(void) ;