isl_ast_build_expr_from_set_internal: exploit earlier disjuncts