Pushing intermediate rewriting changes