fn minimize_value_subsets( values: &mut Vec<DynSolValue>, try_values: &mut dyn FnMut(&[DynSolValue]) -> bool, ) -> bool