Control flow pass needs to be written better

[yiransheng]

Perhaps should use petgraph crate to represent the graph, adds a bit overhead, but makes underlying algorithm and analysis clearer.