This method is used to move BB (which must be part of this loop) to be the loop header of the loop (the block that dominates all others).
source not stored for this graph (policy: none)
no test coverage detected