Member predicate Modifiable::isEffectivelyPublic

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