Additional checks/warnings for data-based synthesis related to state/event exclusion invariants

We already have various checks for common issues in the input, and provide warnings for it.

We may additionally consider that state/event exclusion invariants may make conditions false for certain events.