pub type ControlFlowGraph = DiGraph<BasicBlock, ()>;
pub struct ControlFlowGraph { /* private fields */ }