Macro leads_to_trans_n_internal 

macro_rules! leads_to_trans_n_internal {
    ($spec:expr, $p1:expr, $p2:expr, $p3:expr $(,)?) => { ... };
    ($spec:expr, $p1:expr, $p2:expr, $p3:expr, $($tail:tt)*) => { ... };
}