Macro test_generation::state_memory_safe

macro_rules! state_memory_safe {
    ($e: expr) => { ... };
}

Wrapper for enclosing the arguments of memory_safe so that only the state needs to be given.