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