117#line 12
118 stopSystem();
119 }
120 } else {
121
122 }
123 }
124 {
125#line 14
126 timeShift();
127 }
128 }
129 while_0_break: ;
130 }
131 {
132#line 16
133 cleanup();
134 }
135#line 76 "scenario.c"
136 return;
137}
138}
139#line 1 "wsllib_check.o"
140#pragma merger(0,"wsllib_check.i","")
141#line 3 "wsllib_check.c"
142void __automaton_fail(void)
143{
144
145 {
146 goto ERROR;
147 ERROR: ;
148#line 53 "wsllib_check.c"
149 return;
150}
151}
152#line 1 "MinePump.o"
153#pragma merger(0,"MinePump.i","")
154#line 4 "Environment.h"
155void lowerWaterLevel(void) ;
156#line 10
157int isMethaneLevelCritical(void) ;