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