addHaving()'s parameters are the same as those of getCriterionForCondition