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