252#line 253 "Environment.c"
253 retValue_acc = 0;
254#line 255
255 return (retValue_acc);
256 }
257#line 262 "Environment.c"
258 return (retValue_acc);
259}
260}
261#line 67 "Environment.c"
262int isLowWaterSensorDry(void)
263{ int retValue_acc ;
264
265 {
266#line 284 "Environment.c"
267 retValue_acc = waterLevel == 0;
268#line 286
269 return (retValue_acc);
270#line 293
271 return (retValue_acc);
272}
273}
274#line 1 "wsllib_check.o"
275#pragma merger(0,"wsllib_check.i","")
276#line 3 "wsllib_check.c"
277void __automaton_fail(void)
278{
279
280 {
281 goto ERROR;
282 ERROR: ;
283#line 53 "wsllib_check.c"
284 return;
285}
286}
287#line 1 "Test.o"
288#pragma merger(0,"Test.i","")
289#line 8 "Test.c"
290int cleanupTimeShifts = 4;
291#line 11 "Test.c"
292#line 20 "Test.c"