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