Predicate PointsTo::PointsTo::API::function_call

INTERNAL – Use FunctionObject.getAFunctionCall().

Holds if call is a function call to func with the given context.

predicate function_call(FunctionObject func, PointsToContext context, CallNode call)