naki@kesha src $ cat test4 a = [0]nil; for(i=0; i<4; ++i){ if(i<2){ a = a >< [1]node(0, i); }else{ local = [0]nil; for(j=0; j<2; ++j) local = local >< [1]node(0, i, j); a = a >< [1]local; } } b = [4](@a < 2? node(1, @a): [2]node(1, @a, @b)); c = node(2); a <- b <- c; naki@kesha src $ ./thac test4 0 0 | 0 1 | 0 2 0 | 0 2 1 | 0 3 0 | 0 3 1 | 1 0 | 0 1 1 | 1 1 2 0 | 2 1 2 1 | 3 1 3 0 | 4 1 3 1 | 5 2 | 0 1 2 3 4 5