Macro assert_prop 

macro_rules! assert_prop {
    ($($arg:tt)*) => { ... };
}