Macro verify_model 

macro_rules! verify_model {
    ($model:ty, $config:expr) => { ... };
}

Macro for model verification