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