The implicit specialization contraint checkOccurrenceUsageSuboccurrenceSpecialization is not implemented #2002
Description
In the section 8.3.9.4 OccurrenceUsage look for the checkOccurrenceUsageSuboccurrenceSpecialization constraint.