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)