Member predicate PointsToContext::PointsToContext::appliesToScope

Holds if this context is relevant to the given scope.

predicate appliesToScope(Scope s)