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