Misconceptions about static analysis of loops in C (2024)