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