Updated rewriter library and added example refactorings