Because if you do have good assertions, you get good specifications, and this will not only help you a lot in debugging, you will also improve your testing, and as we have seen, it may even enable the use of automated deduction tool. 