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