SZS status Theorem for i/f/complex/RE__COMPLEX__OF__REAL
