let wp_why_file kf_opt bhv_opt m =
let lkf = match kf_opt with | Some kf -> [kf] | None -> get_all_kf () in
try
let build_cfg kf =
let cfg = Cil2cfg.create kf in
let annots = get_annots bhv_opt cfg in
cfg, annots
in
let cfg_annots = List.map build_cfg lkf in
let with_bot = Wp_parameters.Bottom.get () in
let do_dot = false in
let file = why_file m with_bot do_dot cfg_annots
in file
with ex -> process_ex ex; None