Macro assert_reachable_simtest_impl 

macro_rules! assert_reachable_simtest_impl {
    ($assertion_type:literal, $condition:expr, $message:literal, $log_fn:path) => { ... };
}