InsertPreheaderForLoop - Once we discover that a loop doesn't have a preheader, this method is called to insert one. This method has two phases: preheader insertion and analysis updating.
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected