183#line 253 "Environment.c"
184 retValue_acc = 0;
185#line 255
186 return (retValue_acc);
187 }
188#line 262 "Environment.c"
189 return (retValue_acc);
190}
191}
192#line 67 "Environment.c"
193int isLowWaterSensorDry(void)
194{ int retValue_acc ;
195
196 {
197#line 284 "Environment.c"
198 retValue_acc = waterLevel == 0;
199#line 286
200 return (retValue_acc);
201#line 293
202 return (retValue_acc);
203}
204}
205#line 1 "wsllib_check.o"
206#pragma merger(0,"wsllib_check.i","")
207#line 3 "wsllib_check.c"
208void __automaton_fail(void)
209{
210
211 {
212 goto ERROR;
213 ERROR: ;
214#line 53 "wsllib_check.c"
215 return;
216}
217}
218#line 1 "Test.o"
219#pragma merger(0,"Test.i","")
220#line 8 "Test.c"
221int cleanupTimeShifts = 4;
222#line 11 "Test.c"
223#line 20 "Test.c"