324}
325#line 58 "Environment.c"
326int isHighWaterSensorDry(void)
327{ int retValue_acc ;
328
329 {
330#line 65 "Environment.c"
331 if (waterLevel < 2) {
332#line 243
333 retValue_acc = 1;
334#line 245
335 return (retValue_acc);
336 } else {
337#line 251 "Environment.c"
338 retValue_acc = 0;
339#line 253
340 return (retValue_acc);
341 }
342#line 260 "Environment.c"
343 return (retValue_acc);
344}
345}
346#line 1 "wsllib_check.o"
347#pragma merger(0,"wsllib_check.i","")
348#line 3 "wsllib_check.c"
349void __automaton_fail(void)
350{
351
352 {
353 goto ERROR;
354 ERROR: ;
355#line 53 "wsllib_check.c"
356 return;
357}
358}
359#line 1 "Specification2_spec.o"
360#pragma merger(0,"Specification2_spec.i","")
361#line 10 "MinePump.h"
362int isPumpRunning(void) ;
363#line 7 "Specification2_spec.c"
364int methAndRunningLastTime ;