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]; 
        }
    }

No source files or tests are named. Start by tracing how the analyzer represents ordinary objects and primitive int fields, then compare that path with the shown int[] example, including @Unique fields and array indexing. Done means int[] fields are accepted as objects and the example's iterator behavior is handled consistently by the analysis.