pub const BTOR_OUTPUT_FORMAT_SMT2: BtorOptOutputFormat = 2;