//Insert declarations of global clocks, variables, constants and channels.
const int eps=10;
const int kappa=10;
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;
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;