Why notcheck that `s1.overriddentSymbol(..) == s2`? Wouldn't this be true if `s1` overrides another method, too? (with overloading, `hasSameName` can also be true).