add isl_space_extend_domain_with_range