The basic model represents only perfectly nested loops. This severe restriction can be relaxed by applying the basic method to every single statement separately rather than to the body as a whole. Thus, every statement has its own index space, index vector, space-time mapping and target space [DR94, Fea92a, KPR94, Rao85]. An operation in the program is identified by a statement together with its index vector. Of course, the feature of statement-wise space-time mapping complicates the generation of target code significantly (cf. Section 3.8).