This helps making the type of iterators clearer, and that the final
iterated values aren't used later. If an iterator variable is reused but
not to get the final iterated value, the variable is renamed to avoid
confusion.