Member predicate CanonicalNames::CanonicalName::hasQualifiedName

Holds if this has the given qualified name, rooted in the global scope.

predicate hasQualifiedName(string globalName)