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