If a TASK is defined in different modules (different namespaces) the IMC complains about duplicate definitions.
Local (non global) TASKs are not affected
This may also affect procedure names.
This may also affect names of system elements.
Anonymous
In CheckSpcDcl.java in function duplicateDefinitions() the wrong module name was passed to isDefinedInSystemParts() and isDefinedInProblemParts()
looks fine in the moment. Further tests are required