let find_top_input_node pdg = find_node pdg Key.top_input