>>856
変数宣言の抜けや重複は普通に判る。
応答可能なメソッドの増減も普通に判る。
isKindOf:等を介した問い合わせの影響も、
どのクラスとのisKindOf:関係が変化したか普通に判る。

まあJava辺りの静的型検査で判る程度のことは大概、事前にチェック可能だよ。