OverrideNonFinalVerifier has incorrect location.
Refactoring problems API.