Macro or_leads_to_combine_and_equality2 

macro_rules! or_leads_to_combine_and_equality2 {
    ($spec:expr, $result:expr, $p1:expr, $($rest:expr),+; $q:expr) => { ... };
}