Currently, evolutionary computation can reliably address problems for which the order of the dependencies between the n variables is limited to a small number k, where two variables are called dependent if the fitness contribution of one variable depends on the setting of the other variable and the order of the dependencies is the largest number of interdependent variables. Apart from these problems, there are certain specific problems with higher-order dependencies that can also be addressed. Indeed, hierarchical problems with dependencies up to order k = n can still be solvable in a scalable manner. Examples of hierarchical problems so far include H-IFF, H-TRAP, and H-XOR, which can be addressed by methods such as SEAM [3] and H-BOA [2].The class of hierarchical fixed-length problems is of interest because it is the most complex problem class that may still be efficiently addressed by currently known evolutionary algorithms. The class of feasible problems may be further extended however if variable-length hierarchical problems can be addressed. A potential in this direction is demonstrated by the DevRep algorithm [1]; this method was reported to address a 1024-bit version of the HXOR problem. While HXOR indeed features modularity, hierarchy, and repetition, this result does not demonstrate that the DevRep algorithm can exploit these problem features in isolation.Our aim will be to explore whether modularity, hierarchy, and repetition can be identified in isolation. Existing test problems contain a combination of these features. Therefore, we introduce new test problems that enable the study of these problem features in isolation. The Sequence problem (SEQ) features modularity, but no hierarchy or repetition. The Hierarchical Sequence problem (HSEQ) features hierarchy but no repetition. To study repetition, we employ the OneMax problem.We develop a variable length algorithm for module formation. The operation of the algorithm on the SEQ, HSEQ, and OneMax problems is studied in experiments.