168}
169#line 58 "Environment.c"
170int isHighWaterSensorDry(void)
171{ int retValue_acc ;
172
173 {
174#line 65 "Environment.c"
175 if (waterLevel < 2) {
176#line 243
177 retValue_acc = 1;
178#line 245
179 return (retValue_acc);
180 } else {
181#line 251 "Environment.c"
182 retValue_acc = 0;
183#line 253
184 return (retValue_acc);
185 }
186#line 260 "Environment.c"
187 return (retValue_acc);
188}
189}
190#line 1 "wsllib_check.o"
191#pragma merger(0,"wsllib_check.i","")
192#line 3 "wsllib_check.c"
193void __automaton_fail(void)
194{
195
196 {
197 goto ERROR;
198 ERROR: ;
199#line 53 "wsllib_check.c"
200 return;
201}
202}
203#line 1 "Specification1_spec.o"
204#pragma merger(0,"Specification1_spec.i","")
205#line 10 "MinePump.h"
206int isPumpRunning(void) ;
207#line 11 "Specification1_spec.c"
208__inline void __utac_acc__Specification1_spec__1(void)