fixup! fixup! fixup! implement having clause analysis