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.
Modify test case for if-statements.

Check if and else-if conditions separately.
Merge pull request #1 from a0x77n/master

Test cases for control flow graph.