Como se ve, para evitar código redundante, se utiliza un TRANSFER incondicional que lleva a la transacción a un bloque ubicado en la secuencia de bloques de otro GENERATE.