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