simple boolean condition in if-else branch should also create a dummy conditional-statements

[swang203]

Current CFG doesn't generate a conditional-statements for the following source code.
Should do it or the back-end has no way to figure it out.
if (cond) {
x = 1
}

if (true) {
x = 2
}

------------generated cfg------------
1 0 0 SEQ0 2 1 0 0 21 if cond 4 2 0 SEQ1 5 4 0 14 19 = x 0d1 6 1 1 23 44 if true 8 6 0 SEQ2 9 8 0 37 42 = x 0d2

------ should be ------------
1 0 0 SEQ0 2 1 0 0 21 if cond 3 2 0 SEQ1 4 3 0 == cond true 5 2 0 SEQ2 6 4 0 14 19 = x 0d1 7 1 1 23 44 if true 8 7 0 SEQ3 9 8 0 == true true 10 7 0 SEQ4 11 10 0 37 42 = x 0d2