Refactoring for slicing and dependency analysis