let process_args pdg st stmt argl =
let process_one_arg arg =
let dpds = !Db.From.find_deps_no_transitivity (Kstmt stmt) arg in
let decl_dpds = Cil.extract_varinfos_from_exp arg in
(dpds, decl_dpds)
in let arg_dpds = List.map process_one_arg argl in
BuildPdg.process_call_args pdg st stmt arg_dpds