let get_cfg kf =
if Wp_parameters.RTE.get () then compute_rte_for kf ;
let cfg = Cil2cfg.get kf in
let _ = process_unreached_annots cfg in
let do_dot = Wp_parameters.Dot.get () in
let _dot = if do_dot then Some (Cil2cfg.dot_cfg cfg) else None in
cfg