Member predicate PointsToContext::PointsToContext::fromCall

Holds if call is the call-site from which this context was entered and outer is the caller’s context.

predicate fromCall(CallNode call, PointsToContext caller)