If the preheader of the loop was the entry block of the function, make sure