Implemented \whiledo{}{}