SZS status Theorem for i/f/bag/EMPTY__BAG__alt
