Extracts the condition of a while statement and places the negated condition in an if statement inside the while loop.