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