- Used enumerate_quantifiers_alternative rewriter in test.