Refactorings to programs