pub const BTOR_OPT_VAR_SUBST: BtorOption = 19;