SZS status Theorem for i/f/bag/SUB__BAG__EMPTY_c0
