Added property testing for permutations