let
display_one_from_stmt fmt k v =
Format
.fprintf fmt
"Statement: %d@\n%a"
k.sid display_one_from v