let pp_reached_from_function fmt kf =
  let syntactic, _ = compute_syntactic kf in
  let title = Pretty_utils.sfprintf "%a: %d"
    Kernel_function.pretty kf (Varinfo.Set.cardinal syntactic)
  in
  Format.fprintf fmt "@[<v 0>Functions syntactically reachable from %s@ ---------------------------------------%s@ %a@]" title (String.make (String.length title) '-')
    pp_fun_set_by_file syntactic