let add_on_edges tbl new_acc edges =
if new_acc.has_prop_goal then tbl.tbl_has_prop_goal <- true;
if new_acc.has_asgn_goal then tbl.tbl_has_asgn_goal <- true;
let add_on_edge e =
let acc =
try
let acc = Hannots.find tbl.tbl_annots e in
merge_acc new_acc.info acc
with Not_found -> new_acc.info
in Hannots.replace tbl.tbl_annots e acc;
in List.iter add_on_edge edges