SZS status Theorem for i/f/bag/SET__OF__BAG__EQ__EMPTY_c1
