let-assert

A let construct with assertions, i.e. when an assertion is not satisfied, one can prematurely exit a function with a given return value.