Member predicate Scope::isPublic

Holds if this scope is deemed to be public

predicate isPublic()