//Insert declarations of global clocks, variables, constants and channels.
const int rho=400; // must be > 0
const int rhoPrime=600; // must be >= rho
const int eps=50; // must be < rho/4
const int kappa=200; // must be <= rho-4eps
const int E=0;
const int A=1;
const int Cr=2;
int[0,2] Track=E, T_P;
const int O:=90;
const int Cl:=0;
int[0,90] g=O;
clock x,y,z,c,d;
chan step;A_IN//Insert local declarations of clocks, variables and constants.
A_OUTCD_Sq_bad//Insert process assignments.
//Edit system definition.
system A_IN,A_OUT,CD_S;