optimization: early termination for All
All (parallel)
AsOrdered, AsUnordered (for parallel)
fix: make AsUnordered really unordered