冗余消除

redundancy elimination