We call checkReductionDepth in chooseInstance, so there's no need to call it in selectNextWorkItem too