Macro test_generation::state_stack_push_register

macro_rules! state_stack_push_register {
    () => { ... };
}

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