pub fn evaluate_assert(ctx: Context, assertion: &AssertStmt) -> Result<()>