Fixed support for multi-dimentional array access in both flow analysis and generation backend