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