let display_results () =
if Db.Value.is_computed () && Value_parameters.verbose_atleast 1 then begin
Value_parameters.result "====== VALUES COMPUTED ======";
(* Val display and Inout compute/display *)
!Db.Semantic_Callgraph.topologically_iter_on_functions
(fun kf ->
if Kernel_function.is_definition kf then
begin
Value_parameters.result "%a" Db.Value.display kf ;
end)
end