SZS status Theorem for i/f/bag/MEMBER__NOT__EMPTY
