fixup! fixup! implement having clause analysis