Member predicate PointsToContext::PointsToContext::isCall

Holds if this context is a call context.

predicate isCall()