let loop_with_cut cfg annots vloop =
let to_loop_edges = Cil2cfg.pred_e cfg vloop in
(*
let back_edges =
List.filter (Cil2cfg.is_back_edge) (Cil2cfg.pred_e cfg vloop)
in *)
List.for_all (test_edge_loop_ok cfg (Some annots)) to_loop_edges