Dead code elimination: Reduce S1_Consume(E1_Block) into S_Block