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