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 "@]"