The problem with contracts and static analysis is that large projects are often so tangled up by the time that someone (me) applies contracts to them that the static analysis takes days or weeks of execution time.

I add the contracts anyway because they really do help find bugs at run time too and also act as executable comments.