- Added some tests

- Added previous version of enumerate_quantifiers rewriter
- Added a test that demonstrates a problem in the data rewriter.
- Added some tests.