Python: Make ExtractedArgumentNode local

Explicitly adds a bunch of nodes that were previously (using a global
analysis) identified as `ExtractedArgumentNode`s.

Author: tausbn

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

@@ -344,8 +344,17 @@ abstract class ArgumentNode extends Node {
  */
 class ExtractedArgumentNode extends ArgumentNode {
   ExtractedArgumentNode() {
-    // for resolved calls, we need to allow all argument nodes
-    getCallArg(_, _, _, this, _)
+    // pre-update nodes for calls
+    this = any(CallCfgNode c).(PostUpdateNode).getPreUpdateNode()
+    or
+    // self parameters in methods
+    exists(Class c | this.asExpr() = c.getAMethod().getArg(0))
+    or
+    // the object part of an attribute expression (which might be a bound method)
+    this.asCfgNode() = any(AttrNode a).getObject()
+    or
+    // the function part of any call
+    this.asCfgNode() = any(CallNode c).getFunction()
     or
     // for potential summaries we allow all normal call arguments
     normalCallArg(_, this, _)