Removed shortCircuit in MatchDocIdSet since it is no longer used.