Macro assert_prop

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