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