Initial version of atLeastOneElementOf, does not support logical expression yet.
Added atLeastOneElementOf support, all regular tests passing.
Added generated tests for atLeastOneElementOf.