Member predicate PointsToContext::PointsToContext::fromRuntime

Holds if this context or one of its caller contexts is the default context.

predicate fromRuntime()