WyC: added support for parsing do-while statements.