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