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.