Predicate SuspiciousUnusedLoopIterationVariable::use_of_non_constant

Whether n is a use of a variable that is a not effectively a constant.

predicate use_of_non_constant(Name n)