CoCo for non-unique CDRoleSymbols

[jra-se]

This pull request adds:

• a warning if symbols could not be added to the scope and will be lost
• a CoCo that checks if unique role identifiers have been assigned per class
• test cases
• updates previous test cases to meet the requirements

Why?

The information of an association is distributed in several places in the symbol table. If an association is created that refers to its own class (self-loop) and does not define any explicit role identifiers, the identifier of the corresponding class is automatically used. Since these entries must be uniquely identified in the scope, the identifier must also be unique. The current procedure ignores role symbols if a symbol with the same identifier already exists in the scope.
The information in the scope as well as in the symbol table is lost!

(Several associations with automatically assigned role identifiers and cases with explicitly non-unique role identifiers behave in the same way)

[github-actions]

❌ Changes break the MontiVerse

Project	Status
artifacts	❌

details

Project	Status
montiarc	✅
umlp	✅
sd	✅
montifun	✅
fd	✅
automaton	✅
sc	✅
guidsl	✅
artifacts	❌
ocl	✅
od	✅
ucd	✅
langexperiments	✅
json	✅
xml	✅
mlc	✅
cd4analysis	✅
monticore_basic	✅
class2mc	✅
secommons	✅

The MontiVerse is a collection of (internal and public) language projects.