let process_call_args pdg d_state stmt args_dpds =
    let num = ref 1 in
    let process_arg (dpds, decl_dpds) =
      let new_node = add_elem pdg (Key.call_input_key stmt !num) in
      let _ = add_dpds pdg new_node Dpd.Data d_state dpds in
      let _ = add_decl_dpds pdg new_node Dpd.Data decl_dpds in
        incr num; new_node
    in List.map process_arg args_dpds