Merge "Ensure the first predecessor of a loop is the pre header."