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; }