m2c: while detection

[AngheloAlf]

Detect patterns like

if (CONDITION) {
    do {
        CODE();
    } while (CONDITION);
}

And emit this instead

while (CONDITION) {
    CODE();
}