Member predicate Field::hasQualifiedName

Holds if this field has name f and it belongs to a type with qualified name tp.

Note that due to field embedding the same field may have multiple qualified names.