fn minimize_elements( elements: &mut [DynSolValue], rebuild: impl Fn(&[DynSolValue]) -> DynSolValue, try_value: &mut dyn FnMut(&DynSolValue) -> bool, ) -> Option<DynSolValue>