//Insert declarations of global clocks, variables, constants and channels.
struct {
int x;
int y
} p;
void test() {
p.x++;
p.y = p.x +1;
}
P//Insert local declarations of clocks, variables and constants.
//Insert process assignments.
//Edit system definition.
system P;