Member predicate Modifiable::isStatic

Holds if this declaration is static.

predicate isStatic()