先行する条件ですでにカバーされている無意味な条件と、到達時に常に true (または常に false) になる変数を報告します。