Function eval_with 

pub fn eval_with<T, F>(expr: &Expr<T>, f: &F) -> bool
where
    F: for<'v> Fn(&'v T) -> bool,