An overview of using FGTs for Refactoring