[ty] loop control flow analysis using loop header definitions #22794

Performance Regression: -23.27%

❌ 3 regressed benchmarks
✅ 21 untouched benchmarks
⏩ 30 skipped benchmarks¹

⚠️ Please fix the performance issues or acknowledge them on CodSpeed.

	Mode	Benchmark	`BASE`	`HEAD`	Efficiency
❌	WallTime	`sympy`	55.9 s	70.5 s	-20.65%
❌	Simulation	`ty_check_file[cold]`	133.5 ms	146.6 ms	-8.98%
❌	Simulation	`ty_check_file[incremental]`	6.3 ms	8.2 ms	-23.27%

_{Comparing jack/cyclic_control_flow (29e3110) with main (a2f11d2)}

30 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩