Member predicate Field::hasQualifiedName

Holds if this field has name f and it belongs to a type tp declared in package pkg.

Note that due to field embedding the same field may belong to multiple types.