violation of logical preconditions or class invariants.
These errors are presumably detectable before
the program executes.
It is a assertion replacment in release build, in situation
when crashing is unacceptable option we can customize our
exception handling via this mechanism.
