Member predicate Member::Modifiable::isEffectivelyPrivate

Holds if this declaration is effectively private (either directly or because one of the enclosing types is private).

predicate isEffectivelyPrivate()