238#line 253 "Environment.c"
239 retValue_acc = 0;
240#line 255
241 return (retValue_acc);
242 }
243#line 262 "Environment.c"
244 return (retValue_acc);
245}
246}
247#line 67 "Environment.c"
248int isLowWaterSensorDry(void)
249{ int retValue_acc ;
250
251 {
252#line 284 "Environment.c"
253 retValue_acc = waterLevel == 0;
254#line 286
255 return (retValue_acc);
256#line 293
257 return (retValue_acc);
258}
259}
260#line 1 "wsllib_check.o"
261#pragma merger(0,"wsllib_check.i","")
262#line 3 "wsllib_check.c"
263void __automaton_fail(void)
264{
265
266 {
267 goto ERROR;
268 ERROR: ;
269#line 53 "wsllib_check.c"
270 return;
271}
272}
273#line 1 "Specification1_spec.o"
274#pragma merger(0,"Specification1_spec.i","")
275#line 10 "MinePump.h"
276int isPumpRunning(void) ;
277#line 11 "Specification1_spec.c"
278__inline void __utac_acc__Specification1_spec__1(void)