CIF to CIF 'Eliminate state/event exclusion invariants' should preserve invariant names

Currently, we generate a single automaton all the requirements per supervisory kind per scope. So for all requirement state/event exclusion invariants in a group, one automaton is created. The names of the original invariants are lost.

I think we should generate an automaton per named invariant, to preserve the names. For all unnamed invariants, we can still make one automaton.