Function test_generation::transitions::stack_satisfies_function_inst_signature

pub fn stack_satisfies_function_inst_signature(
    state: &AbstractState,
    function_index: FunctionInstantiationIndex
) -> (bool, Subst)