WIP Remaining changes

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" }
 }

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

@@ -344,9 +344,6 @@ abstract class ArgumentNode extends Node {
  */
 class ExtractedArgumentNode extends ArgumentNode {
   ExtractedArgumentNode() {
-    // for resolved calls, we need to allow all argument nodes
-    getCallArg(_, _, _, this, _)
-    or
     // for potential summaries we allow all normal call arguments
     normalCallArg(_, this, _)
     or