let find_output_node pdg =
  let key = K.output_key in
  find_node pdg key