Macro test_generation::state_struct_has_key

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

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