Flow analysis is able to support multi-dimentional array access; Access pattern generation in affine.cxx just seems to support up-to 2-D