SZS status Theorem for i/f/complex/IM__COMPLEX__OF__REAL
