The reserved keywords that should not be used as identifier names when defining systems are: chan, clock, bool, int, commit, const, urgent, broadcast, hide, init, invariant, location, process, rate, state, guard, sync, assign, system, trans, deadlock, and, or, not, imply, true, false, quit.
The following identifiers are reserved for future use: for, while, do, break, continue, switch, if, else, case, default, return, typedef, struct, rate, before_update, after_update.