Member predicate PointsToContext :: appliesToScope
Holds if this context is relevant to the given scope.
predicate
appliesToScope
(
Scope
s
)