KERML — The OCL for checkFeatureEndRedefinition is wrong

The documentation for the checkFeatureEndRedefinition constraint is

If a Feature has isEnd = true and an owningType that is not empty, then, for each direct supertype of its owningType, it must redefine the endFeature at the same position, if any.

However, the OCL for the constraint requires the redefinitions to be of owned endFeatures of the supertypes, which is inconsistent with the constraint documentation, and is also inconsistent with the discussion in Language Description subclauses for Associations and Connectors (7.4.5 and 7.4.6) and with the corresponding Semantics subclauses (8.4.4.5 and 8.4.4.6).

Correct the OCL for checkFeatureEndRedefinition

Correct the OCL as suggested. Also correct the computation of the index i, and use the ownedEndFeature and endFeature properties that already exist for Type.