let on_all_functions = fun do_body ->
  Globals.Functions.iter (fun kf ->
                            !Db.progress ();
                            match kf.fundec with
                              | Declaration _ -> ()
                              | Definition _ ->
                                  on_definition do_body kf)