isl_input.c: read_tuple: use isl_map_intersect_params where needed
[platform/upstream/isl.git] / test_inputs / set.omega
1 {[y]: Exists ( alpha : 2alpha = y)}