SZS status Theorem for i/f/bag/dominates__EMPTY
