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