pub const BTOR_OPT_NUM_OPTS: BtorOption = 94;