isl_ast_build_expr_from_basic_set: exploit earlier constraints