Macro implies_new_invariant_n 

macro_rules! implies_new_invariant_n {
    [$($tail:tt)*] => { ... };
}