CFG reduction

// original source code
a = 0
if(a)
{
    b = 123
    if(b)
    {
        a = 123
    }
    else
    {
        a = 321
    }
    b++
}
else
{
    c = 321
}
d = 123

//VMASM
0x00000000: 00000fc0            push.e 0
0x00000004: ffff2541000000a0    pop.v.i self 0xa000 a (0x0)
0x0000000c: ffff05c0000000a0    push.v self 0xa000 a (0x0)
0x00000014: 00004503            conv.v.b
0x00000018: 160000b9            bf
0x0000001c: 7b000fc0            push.e 123
0x00000020: ffff2541010000a0    pop.v.i self 0xa000 b (0x1)
0x00000028: ffff05c0010000a0    push.v self 0xa000 b (0x1)
0x00000030: 00004503            conv.v.b
0x00000034: 050000b9            bf
0x00000038: 7b000fc0            push.e 123
0x0000003c: ffff2541000000a0    pop.v.i self 0xa000 a (0x0)
0x00000044: 040000b7            b
0x00000048: 41010fc0            push.e 321
0x0000004c: ffff2541000000a0    pop.v.i self 0xa000 a (0x0)
0x00000054: ffff05c0010000a0    push.v self 0xa000 b (0x1)
0x0000005c: 01000fc0            push.e 1
0x00000060: 00005208            add.i.v
0x00000064: ffff5541010000a0    pop.v.v self 0xa000 b (0x1)
0x0000006c: 040000b7            b
0x00000070: 41010fc0            push.e 321
0x00000074: ffff2541020000a0    pop.v.i self 0xa000 c (0x2)
0x0000007c: 7b000fc0            push.e 123
0x00000080: ffff2541030000a0    pop.v.i self 0xa000 d (0x3)


// reversed source code
if(a)
{
    if(b)
    {
        a = 123.000000
    }
    else
    {
        a = 321.000000
    }
    b = (b + 1.000000)
}
else
{
    c = 321.000000
}
d = 123.000000