Add test cases.

New test cases for control flow graphs.