(DcovIterator.java - uses lean k-Permutations iterator)(ARRANGE language extended with explicitly mentioned operator [dcov]) [ as of corporate 7a90a3e803b1cb42e48ccf02ed5b4f917dbf34ad ]