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