symbolic array exploration