Changed CaseSatisfyNumber's autogenerator to use
Permutations.nextPermutation() . Fixed a bug with nextPermutation() that
was causing situations with 0 blanks to result in no branches being
generated.