Fix to the translation of do-while.