Macro prop_assert_success_with_input

macro_rules! prop_assert_success_with_input {
    ($input: expr, $main: expr) => { ... };
}