pub fn stack_struct_has_field(
    state: &AbstractState,
    field_index: FieldHandleIndex
) -> bool