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