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