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