SZS status Theorem for i/f/bag/SUB__BAG__UNION__eliminate_c3
