add isl_set_from_params