Allows for programming with assertions/invariant-based programming during development without slowing down production.
