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