let
stmt n =
PdgIndex
.
Key
.stmt n.key