Member predicate RefType::declaresField

Holds if this type declares a field with the specified name.

predicate declaresField(string name)