assume

[syntax] assume expr message ...

SRFI-145: Evaluates expr, and if the result is #f, the implementation is encouraged to report an error, with message .... Returns the result of expr.