Macro verifier::verifier_assert

macro_rules! verifier_assert {
    ($condition:expr) => { ... };
}