let display_aux pp =
!Db.Semantic_Callgraph.topologically_iter_on_functions
(fun k ->
if !Db.Value.is_called k then
pp ("Function %a:@\n%a@." : (_, _, _, _, _, _) format6)
Kernel_function.pretty k !Db.From.pretty k)