let node tight_cycle (init, i1, i2) = o where rec x = i1 when (100001) + buffer y and y = merge 1(0) init o and o = i2 when 0(100001) + buffer x