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