Member predicate Entity::hasQualifiedName
Holds if this entity is declared in a package with path pkg and has the given name.
Note that for methods pkg is the package path followed by . followed
by the name of the receiver type, for example io.Writer.
predicate hasQualifiedName(string pkg, string name)