Databased synthesis documentation should be updated wrt. simplification for code gen tools.
Currently, it say
In particular, for code generation, simplification of the guards with respect to the state requirement invariants and state/event exclusion requirement invariants may need to be disabled.
However, state/event exclusion requirement invariants are supported for code generation, see !99 (merged).