UML23 — Incorrect OCL in Infrastructure.xmi for 'Core-Constructs-Operation-isConsistentWith'

The body of the ‘Core-Constructs-Operation-isConsistentWith’ Operation in Infrastructure.xmi uses an attribute called ‘formalParameter’, which does not exist in the metamodel:

result = (redefinee.oclIsKindOf(Operation) and let op: Operation = redefinee.oclAsType(Operation) in self.formalParameter.size() = op.formalParameter.size() and self.returnResult.size() = op.returnResult.size() and forAll(i | op.formalParameter[i].type.conformsTo(self.formalParameter[i].type)) and forAll(i | op.returnResult[i].type.conformsTo(self.returnResult[i].type))

We should instead borrow the body from Superstructure.xmi which does not have that problem:

result = (redefinee.oclIsKindOf(Operation) and let op: Operation = redefinee.oclAsType(Operation) in self.ownedParameter.size() = op.ownedParameter.size() and forAll(i | op.ownedParameter[i].type.conformsTo(self.ownedParameter[i].type))

Resolve discrepancies for RedefinableElement amongst the following artifacts:

• Infrastructure document (clause 11.4.4)
• Superstructure document (clause 7.3.46)
• Infrastructure XMI: Core::Constructs::RedefinableElement
• Superstructure XMI: Classes::Kernel::RedefinableElement
  Resolve discrepancies for Operation::isConsistentWith amongst the following artifacts:
• Infrastructure document (clauses 11.3.4 & 11.8.2)
• Superstructure document (clause 7.3.36)
• Infrastructure XMI: Core::Constructs::Operation
• Superstructure XMI: Classes::Kernel::Operation