let display fmt =
  Format.fprintf fmt "@[";
  !Db.Semantic_Callgraph.topologically_iter_on_functions
    (fun k ->
       if !Db.Value.is_called k then Format.fprintf fmt "@[Function %a:@\n%a@]"
         Kernel_function.pretty_name k !Db.From.pretty k);
    Format.fprintf fmt "@]"