WyC: fixed parsing problem with do-while statements.