TESTS: added WHILE tests.