There is an interesting discussion going on about redundancy checking at Slashot

Two Stanford researchers (Dawson Engler and Yichen Xie) have written a paper (pdf) showing that seemingly harmless redundant code is frequently a sign of not so harmless errors.

Artist