let process_asgn pdg d_state stmt ~l_loc ~exact ~l_dpds ~l_decl
~r_dpds ~r_decl =
let key = Key.stmt_key stmt in
let new_node, new_state =
create_lval_node pdg d_state key ~l_loc ~exact ~l_dpds ~l_decl in
let _ = add_dpds pdg new_node Dpd.Data d_state r_dpds in
let _ = add_decl_dpds pdg new_node Dpd.Data r_decl in
new_state