Function collect_bool_fallback_vars 

pub(crate) fn collect_bool_fallback_vars(
    expr: &BoolExpr,
    vars: &mut BTreeSet<String>,
)

Collects variables that local hard-arithmetic search can assign directly.