let formal_vars func = let add_param set (_, v) = StringSet.add v set in List.fold_left add_param StringSet.empty func.formals