let is_top pdg = match snd pdg with PdgTop -> true | _ -> false