Member predicate Member::Modifiable::isEffectivelyInternal

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

predicate isEffectivelyInternal()