loop_controls: fix analysis of already analyzed loops