#198 State requirement invariants per edge: replace simplify by a skip.
requested to merge 198-efficient-enforcement-of-state-invariant-requirements-in-databased-synthesis-2 into develop
After our discussions, I'm replacing the simplify with a skip check.
Closes #198 (closed)