Merge branch 'maint'
[isl.git] / test_inputs / set.omega
blobac8485fb9a4eee36e59e59c2c8611b55dbea956b
1 {[y]: Exists ( alpha : 2alpha = y)}