SZS status Theorem for i/f/bag/move__BAG__UNION__over__eq
