60#line 17
61 if (tmp) {
62 {
63#line 17
64 tmp___0 = isPumpRunning();
65 }
66#line 17
67 if (tmp___0) {
68 {
69#line 14
70 __automaton_fail();
71 }
72 } else {
73
74 }
75 } else {
76
77 }
78#line 14
79 return;
80}
81}
82#line 1 "wsllib_check.o"
83#pragma merger(0,"wsllib_check.i","")
84#line 3 "wsllib_check.c"
85void __automaton_fail(void)
86{
87
88 {
89 goto ERROR;
90 ERROR: ;
91#line 53 "wsllib_check.c"
92 return;
93}
94}
95#line 1 "Environment.o"
96#pragma merger(0,"Environment.i","")
97#line 4 "Environment.h"
98void lowerWaterLevel(void) ;
99#line 6
100void waterRise(void) ;