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 "libacc.o"
274#pragma merger(0,"libacc.i","")
275#line 73 "/usr/include/assert.h"
276extern __attribute__((__nothrow__, __noreturn__)) void __assert_fail(char const *__assertion ,
277 char const *__file ,
278 unsigned int __line ,