SZS status Theorem for i/f/bag/NOT__mlt__EMPTY
