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