#review: use `allOverriddenSymbols` to check if method is overridden