Member predicate Modifiable :: isPrivate
Holds if this declaration is private
.
predicate
isPrivate
(
)