#790 EdgeNoPartialVarAssignCheck: fix for multi-assignments and report violations on addressables
requested to merge 790-fix-edge-no-partial-var-assign-check-for-projections-in-multi-assignments into develop
- Best to review per commit.
- Projections within multi-assignments are now also reported. Technically, this did not affect the validity of the precondition checks for end users, as they got violations on multi-assignments already (see issue description of #790 (closed)). But now they properly get the partial variable assignments within multi-assignments reported as well. So it does affect the end user output, but does not make more specifications unsupported for current CIF tools.
- Violations are now reported on the projection parts of the addressable, not the whole assignment. This gives more precise
^violation marker indications, and points at all violations.
Closes #790 (closed)