Fix bug in OptiqAssert.returnsUnordered.