ClabureDB: Classified Bug-Reports Database

#line 12
        stopSystem();
        }
      } else {

      }
    }
    {
#line 14
    timeShift();
    }
  }
  while_4_break: /* CIL Label */ ;
  }
  {
#line 16
  cleanup();
  }
#line 76 "scenario.c"
  return;
}
}
#line 1 "wsllib_check.o"
#pragma merger(0,"wsllib_check.i","")
#line 3 "wsllib_check.c"
void __automaton_fail(void) 
{ 

  {
  goto ERROR;
  ERROR: ;
#line 53 "wsllib_check.c"
  return;
}
}
#line 1 "Environment.o"
#pragma merger(0,"Environment.i","")
#line 9 "Environment.c"
int waterLevel  =    1;
#line 12 "Environment.c"
int methaneLevelCritical  =    0;