Member predicate PointsToContext::PointsToContext::isRuntime

Holds if this is the “default” context.

predicate isRuntime()