Change translating algorithm for 'do {} while(0)'