Member predicate FieldDecl::hasQualifiedName
Holds if this field is called fieldName and is a member of a
class, struct, extension, enum or protocol called typeName in a module
called moduleName.
predicate hasQualifiedName(string moduleName, string typeName, string fieldName)