Member predicate PointsToContext::isCall

Holds if this context is a call context.

predicate isCall()