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