Predicate InterProceduralPointsTo::callsite_calls_function
Holds if the call with context caller calls the function scope in context callee
and the offset from argument to parameter is parameter_offset
Import path
import semmle.python.pointsto.PointsTopredicate callsite_calls_function(CallNode call, PointsToContext caller, Function scope, PointsToContext callee, int parameter_offset)