Active refactorings

Hello,

Is it possible to leverage error-prone to develop a system for active refactorings, such as 'rename method', which would then try and perform the error, or give an error if that is not possible (In cases of name collision, or something else)?

Another example would be
```java
class Super {
void Do() { }
}

class Sub extends Super {
@Override
void Do() { }

void Test() {
Do()
}
}
```

Say we want to perform the refatoring 'remove method' on `Sub.Do`. This wouldn't cause a compile error, since the `Do()` call would result in calling `Super.Do` instead of `Sub.Do`. However, we'd want to instead receive a warning that this refactoring breaks or program.