I mean they are if nothing else a good place to shove sanity-checking/design-by-contract code with out bloating (see: making harder to reason about) the actual

I mean they are if nothing else a good place to shove sanity-checking/design-by-contract code with out bloating (see: making harder to reason about) the actual method.