SZS status Theorem for i/f/state_transformer/JOIN__UNIT
