Two minor changes:
- Replaces a while loop over basic blocks with that unconditionally increments the counter with the equivalent for loop. This makes the scope of the loop variable slightly clearer (given this is a ~90 line function).
- Replace an instance of std::vector<User *> with std::vector<User*> to be conformant with style guide and consistent with surrounding code.