ruff

[ty] Isolate loop header reachability evaluation in tracked function

#23520

Merged