Macro verifier::verify_assume

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