Member predicate Modifiable :: isStatic
Holds if this declaration is static.
predicate
isStatic
(
)