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