let add_node_annots tbl cfg v (before, (post, exits)) =
add_on_edges tbl before (Cil2cfg.get_pre_edges cfg v);
if post <> empty_acc then
begin
let edges_after = Cil2cfg.get_post_edges cfg v in
if edges_after = []
then Wp_parameters.warning ~once:true
"Ignoring annotation rooted after statement with no succ"
else add_on_edges tbl post edges_after
end;
if exits <> empty_acc then
begin
let edges_exits = Cil2cfg.get_exit_edges cfg v in
if edges_exits = []
then ()
else add_on_edges tbl exits edges_exits
end