Implements return and refactoring DO-WHILE