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