Closed
requested to merge 311-consider-warning-for-disallowing-plant-referencing-requirements-in-cif into develop
Addresses #311 (closed)
It adds a warning for plant invariants that are defined in requirement automata.
It does not add a warning for referencing parts of a requirement in a plant automaton or plant invariant.