Data-based synthesis should support state plant invariants
We just added support for state event exclusion plant invariants as part of #84 (closed). We should also support state plant invariants.
See #84 (comment 10536) for some discussion from the past about this topic.