Function execute_having 

pub fn execute_having<F>(bindings: Vec<Binding>, predicate: F) -> Vec<Binding>
where
    F: Fn(&Binding) -> bool,

Execute HAVING clause (filter on aggregated results)