Added atLeastOneElementOf support, all regular tests passing.