public boolean hasOverriddenMethods(JvmClass cls, JvmMethod method) {
    return !isEmpty(getOverriddenMethods(cls, method::isSameByJavaRules)) || inheritsFromLibraryClass(cls) /*assume the method can override some method from the library*/;
  }
public boolean hasOverriddenMethods(JvmClass cls, JvmMethod method)