Predicate SuspiciousUnusedLoopIterationVariable::counting_loop

predicate counting_loop(For f)