Python: Do not confuse captured variables

in the scope entry node.

Author: yoff

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

@@ -246,12 +246,12 @@ module TypeTrackingInput implements Shared::TypeTrackingInput {
     // ..var is used..
     //
     // nodeFrom is `expr`
-    // nodeTo is entry node for `f`
+    // nodeTo is any local use of var
     exists(ScopeEntryDefinition e, SsaSourceVariable var, DefinitionNode def |
       e.getSourceVariable() = var and
       var.hasDefiningNode(def)
     |
-      nodeTo.asCfgNode() = e.getDefiningNode() and
+      nodeTo.asCfgNode() = e.getAUse() and
       nodeFrom.asCfgNode() = def.getValue() and
       var.getScope().getScope*() = nodeFrom.getScope()
     )