let
pretty_stmt fmt s =
let
key =
PdgIndex
.
Key
.stmt_key s
in
!
Db
.
Pdg
.pretty_key fmt key