I think for now the following patch is best. This preserves the ability
to push degenerate HAVING clauses through an explicit GROUP BY () as
well as an implicit one, but prevents pushdown in all other cases.
Includes comment and regression test.
--
Andrew (irc:RhodiumToad)