この検査は、以下のように、変数が代入後に使用されないケースを指摘します :
 - 変数が代入後に読み込まれない、または
 - 次の変数を読み込む前に別の代入により値が常に上書きされる、または
 - 変数の初期化子が (上の 2 つの理由のいずれかにより) 冗長である、または
 - 変数が使用されない