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