Overapproximate CapturedVariablesArgumentNode

We just create one for all calls, not just the ones that capture
variables.

Author: tausbn

python/ql/lib/semmle/python/dataflow/new/internal/DataFlowDispatch.qll

@@ -1725,12 +1725,7 @@ private class SummaryPostUpdateNode extends FlowSummaryNode, PostUpdateNodeImpl
 class CapturedVariablesArgumentNode extends CfgNode {
   CallNode callNode;
 
-  CapturedVariablesArgumentNode() {
-    node = callNode.getFunction() and
-    exists(Function target | resolveCall(callNode, target, _) |
-      target = any(VariableCapture::CapturedVariable v).getACapturingScope()
-    )
-  }
+  CapturedVariablesArgumentNode() { node = callNode.getFunction() }
 
   override string toString() { result = "Capturing closure argument" }
 }