225#line 85
226 tmp = valid_product();
227 }
228#line 85
229 if (tmp) {
230 {
231#line 86
232 setup();
233#line 87
234 runTest();
235 }
236 } else {
237
238 }
239#line 1226 "Test.c"
240 retValue_acc = 0;
241#line 1228
242 return (retValue_acc);
243#line 1235
244 return (retValue_acc);
245}
246}
247#line 1 "wsllib_check.o"
248#pragma merger(0,"wsllib_check.i","")
249#line 3 "wsllib_check.c"
250void __automaton_fail(void)
251{
252
253 {
254 goto ERROR;
255 ERROR: ;
256#line 53 "wsllib_check.c"
257 return;
258}
259}
260#line 1 "Environment.o"
261#pragma merger(0,"Environment.i","")
262#line 4 "Environment.h"
263void lowerWaterLevel(void) ;
264#line 10
265int isMethaneLevelCritical(void) ;