critical_edge_elimination works