If the rewriter were an iterator, I could avoid to reinstantiate it in order to test the evolution of its internal state