Dead code elimination: Erase redundant instances of S1_ForRemnant.