let
display_one fmt k v =
Format
.fprintf fmt
"Statement: %d@\n"
k;
InOutContext
.pretty fmt v