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