SZS status Theorem for i/f/state_transformer/BIND__ASSOC
