let all_uses pdg nodes =
let add_codpds node_list node =
let codpds = P.get_all_direct_codpds pdg node in
let codpds = filter_nodes codpds in
let get n = filter_nodes (P.get_all_direct_codpds pdg n) in
add_nodes_and_custom_dpds get node_list codpds
in
List.fold_left add_codpds [] nodes