pub const BTOR_OPT_INPUT_FORMAT: BtorOption = 3;