Fix https://github.com/julianhyde/optiq/issues/97, correlated EXISTS.