UMLR — Actor association constraint makes UseCase subclass of Class

The constraint on Actors
inv: Association.allInstances()>forAll( a | a.memberEnd>collect(type)->includes(self) implies (
a.memberEnd->size() = 2 and
let actorEnd : Property = a.memberEnd->any(type = self) in
actorEnd.opposite.class.oclIsKindOf(UseCase) or
( actorEnd.opposite.class.oclIsKindOf(Class) and not
actorEnd.opposite.class.oclIsKindOf(Behavior)) )
)

uses the sub-expression
actorEnd.opposite.class.oclIsKindOf(UseCase)
where the actorEnd is a Property, whose opposite is a Property, whose class is a Class. So oclIsKindOf(UseCase) can never be true, as UseCase is a subclass of BehavioredClassifier, and not of Class.