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.
- Plants only.
- Requirements only.
- Plant/requirements both.
- Combinations with state invariants, etc.