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