isl_input.c: basic_map_read: check type of result returned by obj_read