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