Fix explicit_counter_loop suggestion
#3901
+46
−15
Merged