let compute kf =
Pdg_parameters.debug ~dkey "computing for function %s@."
(Kernel_function.get_name kf);
if !Db.Value.use_spec_instead_of_definition kf then Stmt.Hashtbl.create 0
else let graph = Stmt.Hashtbl.create 17 in
let f = Kernel_function.get_definition kf in
let _ = process_block graph f.sbody in graph