@Test
void reproduce(){
    qt().forAll(stringArraysWithDefaultContent(), stringArraysWithDefaultContent())
            .assuming((x, y) -> {
                System.out.println(Arrays.toString(x) + ":" + Arrays.toString(y));
                return true;
            })
            .assuming((x, y) -> !Arrays.equals(x, y))
            .check((x, y) -> !Arrays.equals(x, y));
}

private static Gen<String[]> stringArraysWithDefaultContent() {
    return stringArrays(integers().between(0, 20), strings().allPossible().ofLengthBetween(0, 1));
}

private static Gen<String[]> stringArrays(Gen<Integer> sizes, Gen<String> contents) {
    Gen<String[]> gen = td -> {
        int size = sizes.generate(td);
        String[] ds = new String[size];
        for (int i = 0; i != size; i++) {
            ds[i] = contents.generate(td);
        }
        return ds;
    };
    return gen.describedAs(Arrays::toString);
}