let new_cfg_env spec_only kf = {
  kernel_function = kf;
  spec_only = spec_only ;
  graph = CFG.create ();
  stmt_node = Hashtbl.create 97;
  start_id = Cil.Sid.next ();
  unreachables = [];
  loop_nodes = None;
  loop_cpt = 0;
}