Member predicate RefType::inherits

Holds if this type declares or inherits the specified member.

predicate inherits(Member m)