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