Another refactoring tool from FernUni Hagen: Purpose to check code for possible generalizations of declared types; to detect the smell of not using suitable abstractions