fn minimize_numeric_value_pair( left: &DynSolValue, right: &DynSolValue, try_pair: impl FnMut(DynSolValue, DynSolValue) -> bool, ) -> bool