let add_node env t = let id = node_type_id t in let n = {kind = t ; reachable = false } in Wp_parameters.debug ~level:3 "[cfg] add node : %a@." VL.pretty (ref n); let n = CFG.V.create (ref n) in Hashtbl.add env.stmt_node id n; n