KERML11 — includes(oclIsKindOf(X)) compares types with a Boolean

Feature::checkFeaturePortionSpecialization: includes(oclIsKindOf(X)) compares types with a Boolean

Where:          KerML 1.0 (formal/2026-03-01), §8.3.3.3.4 Feature, PDF p.194 (printed 168)
Published OCL:  isPortion and ownedTyping.type->includes(oclIsKindOf(Class)) and owningType <> null and (owningType.oclIsKindOf(Class) or owningType.oclIsKindOf(Feature) and owningType.oclAsType(Feature).type->exists(oclIsKindOf(Class))) implies specializesFromLibrary('Occurrence::Occurrence::portions')
Correction:     isPortion and ownedTyping.type->exists(oclIsKindOf(Class)) and owningType <> null and (owningType.oclIsKindOf(Class) or owningType.oclIsKindOf(Feature) and owningType.oclAsType(Feature).type->exists(oclIsKindOf(Class))) implies specializesFromLibrary('Occurrences::Occurrence::portions')
Proof of fault: includes tests a collection of Types for a Boolean value, which it can never contain.
Likely cause:   Original error, replicated across a family. Three rules share includes(oclIsKindOf(X)) (portion, suboccurrence, subobject).
Nearest rule:   Feature::checkFeatureSuboccurrenceSpecialization (KerML 1.0 PDF p.194 (printed 168)): isComposite and ownedTyping.type->includes(oclIsKindOf(Class)) and owningType <> null and (owningType.oclIsKindOf(Class) or owningType.oclIsKindOf(Feature) and owningType.oclAsType(Feature).type->exists(oclIsKindOf(Class))) implies specializesFromLibrary('Occurrence::Occurrence::suboccurrences')
Same defect in: Feature::checkFeaturePortionSpecialization, Feature::checkFeatureSuboccurrenceSpecialization, Feature::checkFeatureSubobjectSpecialization
Basis of fix:   The same body uses the intended form two lines later; counts match OMG's reference export.
Note:           The library path 'Occurrence::Occurrence::portions' (for Occurrences::) is already reported in KERML11-205/206; this issue is the includes/exists condition only.