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