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