Predicate PointsTo::PointsTo::API::method_call

INTERNAL – Use FunctionObject.getAMethodCall().

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

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