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