let force_compute_all () = !Db.Value.compute (); !Db.Semantic_Callgraph.topologically_iter_on_functions (fun kf -> if Kernel_function.is_definition kf && !Db.Value.is_called kf then !Db.From.compute kf)