//This file was generated from UPPAAL 4.0.1 (rev. 2157), June 2006

/*

*/
A[] (CoinValidator.have_c50 || CoinValidator.have_c100 || CoinValidator.have_c150) && w > 0\
  imply water_enabled

/*

*/
E<> w == 0