SZS status Theorem for i/f/topology/TOPOLOGY__UNION
