// Place global declarations here.
chan A;Template// Place local declarations here.
int x;offl2l1l0OtherTemplatem1m0// Place template instantiations here.
Process = Template();
O1 = OtherTemplate();
O2 = OtherTemplate();
// List one or more processes to be composed into a system.
system Process, O1, O2;
A[] Process.x != 25
E<> Process.x == 27