Default cardinality for missing 'Cardinality' qualifier in SMTs

[StenGruener]

Hi @juileetikekar,

• Out of the best modeling practice group there is a request of how to interpret missing 'Cardinality' qualifier in SMTs. Our proposal would be to follow UML semantics, i.e., a missing 'Cardinality' qualifier means that Cardinality = 1. Would this be implementable in the test engine to see if any of existing SMTs would conflict with this assumption?
• Additionally, in case "Cardinality = 1" and missing 'Cardinality' qualifier are mixed in one SMT, there could be at least a warning.

BR