fn fallback_search_vars( cx: &SymCx, vars: IndexSet<Symbol>, constraints: &[SymBoolExpr], ) -> Vec<Symbol>