let add_on_edges annots new_acc edges =
  let add_on_edge e =
    let acc =
      try let acc = Hannots.find annots e in merge_acc new_acc acc
      with Not_found -> new_acc
    in Hannots.replace annots e acc
  in List.iter add_on_edge edges