Index Array Flattening Through Program Transformation