Incorrect do-while CFG

[krx]

The following loop outputs the wrong CFG

function dowhile() public {
    uint8 i = 0;
    uint8 a;
    do {
        i++;
        a = 1;
        a = 2;
        a = 3;
    } while (i < 10);
}

Correct output would look like this:

[montyly]

Fixed in master