Macro test_generation::state_stack_satisfies_function_inst_signature

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