//This file was generated from UPPAAL 3.6 Alpha 1, Nov 2005

/*
Safety
*/
A[] not CD_S.q_bad