Reject _chan0 declarations
This program should be rejected, because buffered channels with capacity zero have questionable semantics:
mainAgent {
intchan0 cc;
}
This program should be rejected, because buffered channels with capacity zero have questionable semantics:
mainAgent {
intchan0 cc;
}