pub const BTOR_OUTPUT_FORMAT_BTOR: BtorOptOutputFormat = 1;