Member predicate Type::hasQualifiedName
Holds if this type is declared in a package with path pkg and has name name.
Only defined types like io.Writer have a qualified name. Basic types like int,
pointer types like *io.Writer, and other composite types do not have a qualified name.
predicate hasQualifiedName(string pkg, string name)