SZS status Theorem for i/f/basis_emit/IS__EMPTY__REWRITE_c1
