Array representation in Symbolic Execution