Test cases for control flow graph.