Because they are written by people who never actually understood Design by Contract and class invariants.