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