KERML — Typo in checkAssociationBinarySpecialization OCL

Constraints
checkAssociationBinarySpecialization
"ownedEndFeature->size() = 2 implies specializesFromLibrary("Links::BinaryLink)"
Missing a quotation mark " after Links::BinaryLink

Related but possible issue?
Restricting this to ownedEndFeature instead of associationEnd can cause contradictions with inherited end features
Users could end up inheriting from an n-ary association and only redefine 2 of them?

Revise the checkAssociationBinarySpecialization constraint

It is agreed that the syntax error in the OCL needs to be fixed.

In addition, the "related but possible" issue is also a real issue. If an association specializes another association with more than two ends, but redefines only the first two (as ownedEndFeatures), then the checkAssociationBinarySpecialization constraint as currently defined would required it to specialize BinaryLink, even though it would inherit additional ends (which would then violate validateAssociationBinarySpecialization). Checking associationEnd instead of ownedEndFeature fixes this. (Note that the corresponding constraint for Connectors, validateConnectorBinarySpecialization, does not have this issue, because it already checks connectorEnd, which includes inherited ends.)