Code refactoring, in which an existing module is modified for satisfying some property while maintaining the functionality, is often needed as software evolves. Since refactoring is tedious and error prone, it is sometimes ...