isl_ast_build_ast_from_schedule: avoid introducing iterator in hoisted condition
[platform/upstream/isl.git] / test_inputs / set.omega
1 {[y]: Exists ( alpha : 2alpha = y)}