Macro assume

macro_rules! assume {
    ($e:expr $(,)?) => { ... };
    ($e:expr, $($t:tt)+) => { ... };
}