Member predicate PointsToContext::PointsToContext::fromCall

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

predicate fromCall(CallNode call, FunctionObject callee, PointsToContext caller)