Determine the precondition of a binary search
For instance, precondition of a binary search is that array searched is sorted however checking this precondition is so expensive that one would be better of using a sequential search. Similar problems generally occur with post conditions. Thus many assertions are stated in comments and aren't checked in code, or are checked during development and then removed or disabled when code is compiled for release.