Macro assert_commutative 

macro_rules! assert_commutative {
    ($a:expr, $b: expr, $($tail: expr),*) => { ... };
    ($v:expr) => { ... };
}