let add_glob_var lv = try ignore (Hashtbl.find globals_table lv.lv_id); false with Not_found -> Wp_parameters.debug ~level:3 "[wp-fol] add global variable %a@." pp_lv lv; Hashtbl.add globals_table lv.lv_id lv; true