//Insert declarations of global clocks, variables, constants and channels.
int i = 0;
int f()
{
return i;
}
int j = f();P//Insert local declarations of clocks, variables and constants.
//Insert process assignments.
//Edit system definition.
system P;