Delete while_tests.py