Member predicate Member::Modifiable::isEffectivelyPublic

Holds if this declaration is effectively public, because it and all enclosing types are public.

predicate isEffectivelyPublic()