Python: test captured jump reassignment trade-off

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

Author: yoff

python/ql/test/library-tests/dataflow/typetracking/test.py

@@ -78,6 +78,24 @@ def inner():
     print(also_x) # $ tracked
 
 
+# ------------------------------------------------------------------------------
+# Captured variable reassignment
+# ------------------------------------------------------------------------------
+
+def captured_reassignment_tradeoff():
+    value = tracked # $ tracked
+
+    def read_value():
+        return value # $ tracked
+
+    before_reassignment = read_value() # $ tracked
+    value = "safe"
+    safe_sibling = read_value() # $ SPURIOUS: tracked
+
+    before_reassignment # $ tracked
+    safe_sibling # $ SPURIOUS: tracked
+
+
 # ------------------------------------------------------------------------------
 # Function decorator
 # ------------------------------------------------------------------------------