fix translation of do ... while loops