I think the problem is refactored code that still compiles but fails in subtle ways now. Of course testing should catch that, but we have to accept that the rea

I think the problem is refactored code that still compiles but fails in subtle ways now. Of course testing should catch that, but we have to accept that the reality of most testsuites is very different from the ideal.