Macro assume_eq 

macro_rules! assume_eq {
    ($left:expr, $right:expr) => { ... };
    ($left:expr, $right:expr, $($arg:tt)+) => { ... };
}

Helper macro for equality assumptions.