isl_basic_map_foreach_lexopt: properly merge partial empty solutions
[platform/upstream/isl.git] / test_inputs / set.omega
1 {[y]: Exists ( alpha : 2alpha = y)}