let get_node env t =
  let id = node_type_id t in
  Wp_parameters.debug ~level:4 "get_node: %a --> id:%d,%d"
    pp_node_type t (fst id) (snd id);
  try Hashtbl.find env.stmt_node id
  with Not_found -> add_node env t