!7 p { L l; Iterator itInput = iterator(l = repF(5, f aGlobalID)); L> splitIt = splitIterator(2, itInput); L l1, l2; pnlStruct(l1 = iteratorToList(first(splitIt))); pnlStruct(l2 = iteratorToList(second(splitIt))); assertEquals(l, l1); assertEquals(l, l2); print("OK"); }