Additional checks for DSE set types
Current Status.
The DSML defines sets that can be referenced by set operators such as ForAll. Each set references a SuperSet that references all elements of a given type that are available for the DSE. Unfortunately, it is not guaranteed that elements added to a set are also referenced by the corresponding SuperSet, which could lead to wrong behavior and invalid models. Currently, only a type check is performed upon adding elements.
Proposed change.
For any add operation performed on sets, check whether the referenced SuperSet contains the given element.
(from redmine: issue id 3366, created on 2018-04-03, closed on 2019-01-25)