Holds if this member is static.
predicate
isStatic
(
)