Test for sets, non-deterministic ordering, using our new klee_permutate