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