fn minimize_int_by_search( value: &mut DynSolValue, current: I256, bits: usize, try_value: &mut dyn FnMut(&DynSolValue) -> bool, ) -> bool