fn collect_eval_bool_vars(expr: &BoolExpr, vars: &mut BTreeSet<String>)
Collects the symbolic variables needed to concretely evaluate a boolean expression.