#464 Include state/event exclusion invariants in linearized hyper-edge creator

Closes #464 (closed)

Merge request reports