Packages for working with invariant(condition, message) assertions - View it on GitHub