let variable_in_term_type_to_variable_global_id session_id variable =
  let variable_string_id =
    match variable with
      Base(Var(y)) -> y
    | _ -> raise Not_found
  in
  let variable_global_id =
    Globals.global_var_id#get_id_of session_id variable_string_id
  in
  memory_map#check_map_var variable_global_id;
  variable_global_id