That once-a-quarter rare bug handling code is not going to fare well with automatic deletion of code that doesn't get exercised in production. In some domains,

That once-a-quarter rare bug handling code is not going to fare well with automatic deletion of code that doesn't get exercised in production. In some domains, I've heard of up to half the code being code that handles rare conditions. More importantly than removing mature code, it seems to me that pieces of code that are in use and haven't changed in a while are good candidates for applying formal methods.