Added some advanced tests for the no permutations constraint