Refine constraint for guards in participating components
Currently the constraint states that there should be a guard for every participating component, but it also allows multiple constraints for the same component. It shall be restricted to exactly one guard per participating component.
Edited by Philip Makedonski