let dot_annots cfg bhv_name pp_edge_fun =
let kf = cfg_kf cfg in
let kf_name = Kernel_function.get_name kf in
let name = match bhv_name with
| None ->
Printf.sprintf "%s.wp_annot_cfg" kf_name
| Some bhv ->
Printf.sprintf "%s_%s.wp_annot_cfg" kf_name bhv
in
cfg_dot "cfg" name cfg ~pp_edge_fun