Member predicate Modifiable::isPrivate

Holds if this declaration is private.

predicate isPrivate()