let find_output_nodes called_pdg out_key =
  match out_key with
  | PdgIndex.Signature.OutRet ->
      [ ((find_output_node called_pdg),None) ], None
  | PdgIndex.Signature.OutLoc out -> find_location_nodes_at_end called_pdg out