let get_set_if_value session_id set_var =
  let set_var_term = (get_if_value_type session_id  (Base(Var(set_var)))) in
  let set_pointer_string_id =
    match set_var_term with
      If_const (x) -> x
    | _  ->
        (displayWarning 0 
           ("Instantiation.get_set_if_value: trying to get the value of an uninitialized set: "
            ^(Interface.term_to_string (Base(Var(set_var))))
            ^" = "
            ^(Interface.ground_if_value_to_string set_var_term));
         raise Not_found)
  in
  let set_pointer_gid = global_var_id#get_id_of 0 set_pointer_string_id in
  let set_pointer_mmap_id = memory_map#get_map set_pointer_gid in
  value_table#get_value set_pointer_mmap_id