Move plants refer to requirement state check from data-based synthesis to CIF type checker
We added it to data-based synthesis, to test it out, and make sure it doesn't give false positives. We should consider integrating it into the type checker now.
- Check was added in #311 (closed) / !315 (merged), over 1.5 years ago.
- The discussion that led to creating this issue: !771 (comment 1658189)