let compute kf =
  Pdg_parameters.debug "[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