1{ A[i,j] -> [2i,0,j]: 0 <= i,j < 10; B[i,j] -> [2i+1,1,j] : 0 <= i,j < 10 }
2{ : }
3{ [i,0,j] -> unroll[2] }
4