Macro crucible_assume 

macro_rules! crucible_assume {
    ($e:expr) => { ... };
}

Assume that a condition holds. crux-mir will not consider assignments to the symbolic variables that violate an assumption.