Are we sure that we don't have to search recursively for isAggregate even if the having clause uses complex functions, case-when, etc. on the aggregate?