//This file was generated from UPPAAL 3.4.8, Feb 2005

/*

*/
A[] !(Tw == 0 && (REC.run || REC.run1 || REC.run2))

/*

*/