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