pub(crate) fn fallback_search_vars(vars: BTreeSet<String>) -> Vec<String>
Selects direct symbolic inputs for bounded fallback search.