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