let
find_call_output_node pdg call =
let
key =
Key
.call_outret_key call
in
find_node pdg key