Improve analysis. Comparing aggregate functions always yield exactly one row