SZS status Theorem for i/f/prelim/datatype__ordering
