fn minimize_value( value: &mut DynSolValue, try_value: &mut dyn FnMut(&DynSolValue) -> bool, ) -> bool