Binary Ninja fails to infer index of dimensional arrays properly

Version and Platform (required):

• Binary Ninja Version: 3.4 dev
  Bug Description:
  Multi-dimensional array indices are not properly inferred.
  For the given struct uint8_t state_t[0x4][0x4] Output is this:

0804a4a6  (*state)[0][1] = (*state)[0][5]
0804a4b3  (*state)[0][5] = (*state)[0][9]
0804a4c0  (*state)[0][9] = (*state)[0][13]

It should be this:

  (*state)[0][1] = (*state)[1][1];
  (*state)[1][1] = (*state)[2][1];
  (*state)[2][1] = (*state)[3][1];

bndb shared privately search for: multi_dimensional_array_bug.zip

Start by obtaining and opening the privately shared multi_dimensional_array_bug.zip reproduction, then inspect the decompiler output for the uint8_t state_t[0x4][0x4] example. The issue is done when the inferred assignments use (*state)[1][1], (*state)[2][1], and (*state)[3][1] rather than flattened indices such as [0][5] and [0][9].