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

/*
Utility
*/
A[] not CD_U.q_bad