Added support for process invariants and several other process operators which were already supported for actions.