Replace CIF data-based synthesis plant invariant application simplify

In !494 (merged) we replaced the simplify by a check for state requirement invariants being applied to edges. We also apply plant invariants to edges, and there we still have the simplify. Should we also reconsider that? It would be more consistent. Not sure how it impacts performance though.