fn try_value_subset(
values: &mut Vec<DynSolValue>,
simple_values: &[DynSolValue],
shrinkable_idxs: &[usize],
subset_size: usize,
start: usize,
subset: &mut Vec<usize>,
try_values: &mut dyn FnMut(&[DynSolValue]) -> bool,
) -> bool