Member predicate PointsToContext::PointsToContext::isMain

Holds if this is the “main” context.

predicate isMain()