Predicate declaresMember
Holds if type t declares member m.
Import path
import java
predicate
declaresMember
(
Type
t
,
@member
m
)