let wp_cfg_dot with_annot kf =
  try
    let cfg = Cil2cfg.create kf in
    let dot_name = 
      if with_annot then
        let bhv = match  get_behav_option () with
          | None -> Macros.name_of_default_behavior
          | Some bhv -> bhv
        in
        match WpAnnot.get_behavior_annots bhv cfg with None -> dot_cfg cfg
          | Some annots -> dot_annots cfg annots
      else dot_cfg cfg 
    in Some dot_name
  with ex -> process_ex ex; None