fixed bugs in semantics of DUP*_*
refactoring for auxInput
refactoring to support symbolic array indexing
support for symbolic indices for integer-like and long arrays
fixed tests for arrays