Bind captured type-tracking jumps from their source

Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>

Author: yoff

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

@@ -323,14 +323,10 @@ module TypeTrackingInput implements Shared::TypeTrackingInput<Location> {
     //
     // nodeFrom is `expr`
     // nodeTo is entry node for `f`
-    exists(
-      SsaImpl::ScopeEntryDefinition e, SsaImpl::SsaSourceVariable var, Cfg::DefinitionNode def
-    |
-      e.getSourceVariable() = var and
-      def.getNode() = var.getVariable().getAStore()
-    |
+    exists(SsaImpl::ScopeEntryDefinition e, SsaImpl::SsaSourceVariable var |
       nodeTo.(DataFlowPublic::ScopeEntryDefinitionNode).getDefinition() = e and
-      nodeFrom.asCfgNode() = def and
+      e.getSourceVariable() = var and
+      nodeFrom.asCfgNode().(Cfg::DefinitionNode).getNode() = var.getVariable().getAStore() and
       var.getVariable().getScope().getScope*() = nodeFrom.getScope()
     )
   }