SZS status Theorem for i/f/container/UNION__APPEND
