I don't think that scenario is realistic. If you're making a change that doesn't alter a function's output, why is the code for that function being changed at a

I don't think that scenario is realistic. If you're making a change that doesn't alter a function's output, why is the code for that function being changed at all? That would only be possible if the snapshot didn't capture all the relevant outputs to being with. Most likely the output will change and you'll be left with a random blob of data to figure out what went wrong instead of clear specifications.