SZS status Theorem for i/f/state_transformer/BIND__LEFT__UNIT
