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