let process_call_args pdg d_state stmt args_dpds =
    let num = ref 1 in
    let process_arg (dpds, decl_dpds) =
      let key = Key.call_input_key stmt !num in
      let new_node = add_elem pdg key 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
      num := !num+1; new_node
    in let arg_nodes = List.map process_arg args_dpds in
    !num, arg_nodes