Propagating some refactoring operations