fix bug where AddrArrayVarExps are only allowed Num indices