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).