Member predicate Modifiable :: isInternal
Holds if this declaration is internal
.
predicate
isInternal
(
)