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