SZS status Theorem for i/f/bag/SUB__BAG__TRANS
