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