Predicate Type::declaresMember

Holds if type t declares member m.

predicate declaresMember(Type t, @member m)