Add support for int[] as an object

Add support for int[] as an object

    @Unique int[] a;
    @Unique int size;

    private class ReverseArrayIterator implements Iterator<Integer> {
        public @Unique int i = 100;

        //(true >> this.i >= 0 -> return )
        @Override
        public boolean hasNext() { return i >= 0; }
        
        //(this.i >= 0 >> this.i == old(this.i) - 1)
        @Override
        public Integer next() { 
            i = i - 1;
            return a[i]; 
        }
    }

Không có tệp mã nguồn hoặc bài kiểm thử nào được nêu. Hãy bắt đầu bằng cách lần theo cách analyzer biểu diễn các đối tượng thông thường và các trường int nguyên thủy, sau đó so sánh quy trình đó với ví dụ int[] được đưa ra, bao gồm các trường @Unique và việc lập chỉ mục mảng. Công việc được hoàn tất khi các trường int[] được chấp nhận là đối tượng và hành vi của iterator trong ví dụ được xử lý nhất quán trong quá trình phân tích.