4 ms·

I've got another similar use-case: Function contracts. There you also probably want to see the unevaluated form of the assertion on failure.