Produces refactoring