Macro test_generation::state_stack_struct_has_field

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

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