active adding all alternative and any as atleast axioms block call channel comment connect connection constant constants create dcl decision default else endalternative endblock endchannel endconnection enddecision endgenerator endmacro endnewtype endoperator endpackage endprocedure endprocess endrefinement endselect endservice endstate endsubstructure endsyntype endsystem env error export exported external fi finalized for fpar from gate generator if import imported in inherits input interface join literal literals macro macrodefinition macroid map mod nameclass newtype nextstate nodelay noequality none not now offspring operator operators or ordering out output package parent priority procedure process provided redefined referenced refinement rem remote reset return returns revealed reverse save select self sender service set signal signallist signalroute signalset spelling start state stop struct substructure synonym syntype system task then this timer to type use via view viewed virtual with xor