method
is_defined mem_id =
Hashtbl
.mem value_map mem_id