OCL25 — No postcondition for NamedElement::getType() when self.oclIsKindOf(Namespace)

9.4.2 NamedElement

NamedElement, as defined by OCL, links to ModelElement (from Core) and has an operation getType(): Classifier

Postconditions are given when the referred modelelelement is an instance of Classifier, VariableDeclaration or State.
However, from subclause [4] of section 9.4.1 it follows that the referred modelelelement may also be an instance of Namespace.
(let firstNamespace : ModelElement = lookupLocal( names->first() ).referredElement, where lookupLocal returns an OCL NamedElement)

In the UML Infrastructure, Namespace specializes Core::NamedElement, which does not defines a type attribute (Core::TypedElement does)
Namespace is a generalization of Classifier.

At least, add:
post: referredElement.oclIsKindOf(Namespace) implies
result = – TBD: when aligning with UML 2.0

Should it be result.oclIsUndefined() ?