Member predicate DataFlow::MethodCallNode::calls

Holds if this data flow node calls method methodName on receiver node receiver.

predicate calls(Node receiver, string methodName)