Propagating refactoring logic to interfaces