let free_vars_funcs bound funcs =
    let sets = List.map (free_vars_func bound) funcs in
    List.fold_left StringSet.union StringSet.empty sets