let do_labels wenv e obj =
let do_lab o l =
debug "[do_label] process %a@." Clabels.pretty l;
W.label wenv l o
in
let obj = do_lab obj Clabels.Here in
let labels = Cil2cfg.get_edge_labels e in
let obj = List.fold_left do_lab obj labels in
obj