pub fn dominators<G: ControlFlowGraph>(graph: &G) -> Dominators<G::Node>