//Insert declarations of global clocks, variables, constants and channels. bool b; int i := 2; //Insert process assignments. //Edit system definition. system P;