Added distinct assertion. WARNING: generation for n>3 does't work this
way
Distinct assertion only inserted when size = 3. Generation for n > 3
working again