Predicate SuspiciousUnusedLoopIterationVariable::countingLoop

Holds if efl is a loop whose body increments a variable and does nothing else.

predicate countingLoop(EnhancedForLoop efl)