let find_top_input_node pdg =
  let key = K.top_input in find_node pdg key