let process_asgn pdg state stmt lval exp =
  let r_dpds = !Db.From.find_deps_no_transitivity (Kstmt stmt) exp in
  let r_decl = Cil.extract_varinfos_from_exp exp in
  let (l_loc, exact, l_dpds, l_decl) = get_lval_infos lval stmt in
  BuildPdg.process_asgn pdg state stmt ~l_loc ~exact ~l_dpds ~l_decl
                                       ~r_dpds ~r_decl