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