Predicate SuspiciousUnusedLoopIterationVariable::empty_loop

predicate empty_loop(For f)