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