Fix folding for do-while loops in C