let find_output_node pdg = find_node pdg Key.output_key