Implemented for the BoolList_Valid_2 test case to build a CFG with a
loop and a if/else branch. The if/else branch has three blks, the then
branch, else branch and merge blk. The loop structure has the loop
header, loop body and loop exit.