Added support for turning an array element into a symbolic variable.