bug fix in critical_edge_elimination