Include state/event exclusion invariants in linearized hyper-edge creator
Currently, only edges from automata are considered. State/event exclusion invariants are not yet considered. We can eliminate them first using a CIF to CIF transformation. Then they are automatically considered. This makes the linearized hyper edges more like the synthesis linearized edges.