Macro state_pred_and 

macro_rules! state_pred_and {
    ($p1:expr $(,)?) => { ... };
    ($p1:expr, $p2:expr $(,)?) => { ... };
    ($p1:expr, $p2:expr, $($tail:expr),+ $(,)?) => { ... };
}