Lithography benchmark model has duplicate invariants
Warnings (introduced in #542 (closed)):
- WARNING: File "lithography_init.cif": Semantic warning at line 1052, column 1: Duplicate state invariant.
- WARNING: File "lithography_init.cif": Semantic warning at line 1065, column 1: Duplicate state invariant.
The duplicated invariant:
requirement orchestrator_4.Initializing_Phase_9 => orchestrator_3.Phase_3;
Running benchmarks means you get these warnings printed a lot, which is somewhat annoying.
For duplicate state/event invariants encountered in the FESTO model, we removed them, see #646 (closed).