Add test cases for control flow graph.

New test cases for if/while/do-while/for-statements to check whether
condition nodes have two outgoing edges labeled 'True' and 'False',
respectively.