Added generated tests for atLeastOneElementOf.