fn dominators_impl<G: ControlFlowGraph>(graph: &G) -> Inner<G::Node>