let new_cfg_env kf = {
  kernel_function = kf;
  graph = CFG.create ();
  stmt_node = Hashtbl.create 97;
  start_id = 1+ Cil.Sid.get ();
  loop_nodes = None
}