Start work on correlated EXISTS. Add test cases for join-ordering optimization.