let find_all_input_nodes pdg = let sgn = FctIndex.sgn (Pdg.get_index pdg) in let add acc (_in_key, info) = info::acc in PdgIndex.Signature.fold_all_inputs add [] sgn