Error The following header fields are missing: :smt-lib-version