Incomplete - task : Inline refactoring detector
Use f as a super type to refactoring detectors
Incomplete - task : Inline refactoring detector
Incomplete - task : Inline refactoring detector
add math lib