Dead code elimination: Reduce S1_Set(E1_Block) into S_Block