Macro assume 

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