[kaba0]

Verifiability. I have no source for this, but on a basic level it makes sense that a clean implementation will be easier to verify over an ad hoc spaghetti code doing the same thing.