let iter_vertex f (_, proj) =
f (node_slice_calls ()); f (node_slice_callers ());
let rec do_act n rq_list = match rq_list with
| [] -> ()
| rq :: rq_list -> f (Action (n, rq)) ; do_act (n+1) rq_list
in do_act 1 proj.T.actions;
let do_kf kf =
let fi = M.get_kf_fi proj kf in
let slices = M.fi_slices fi in
List.iter (fun ff -> f (Slice ff)) slices;
f (Src fi)
in
Globals.Functions.iter do_kf