let find_entry_point_node pdg = try let key = K.entry_point in find_node pdg key with PdgIndex.NotFound -> assert false