Added klee_permutate to allow permutation of an array constraints