Macro checkito::prove

macro_rules! prove {
    ($prove:expr) => { ... };
    ($($prove:expr),*) => { ... };
}