Which is why you should put those assumptions in contracts. Preconditions, postconditions and invariants were made exactly for that purpose. I used to think th

Which is why you should put those assumptions in contracts. Preconditions, postconditions and invariants were made exactly for that purpose. I used to think these were a distraction from actual programming until I realized how much debugging time they save.