Constant ASSERT 

pub const ASSERT: FreeBuiltinSchema;

assert(condition: Bool) -> Result<Unit, Error>.

A failing assertion is an expected failure rather than a broken invariant, so it answers Err and ? works on it inside a test.