method is_defined mem_id = Hashtbl.mem value_map mem_id