SZS status Theorem for i/f/bag/ASSOC__BAG__UNION
