isl_input.c: read_tuple_space: call isl_space_product on set spaces