GROUP BY with HAVING vs WHERE, a subtle bug in a revenue report · Lakebench