let compute kf =
Macros.debug 1 "[lexical successor] computing for function %s@."
(Kernel_function.get_name kf);
let graph = Inthash.create 50 in
match kf.Db_types.fundec with
| Db_types.Declaration _ -> graph
| Db_types.Definition (f, _) ->
let _ = process_block graph f.sbody in graph