Fix another case in which a do..while has two consecutive while's inside