Macro test_generation::state_local_has_ability

macro_rules! state_local_has_ability {
    ($e: expr, $a: expr) => { ... };
}

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