Points-to sets of all variables
[NewObj{<TwoObject: void m()>[0@L11] new List}, NewObj{<List: Iterator iterator()>[0@L31] new List$ListIterator}]:<List$ListIterator: java.lang.Object next()>/%this -> [[NewObj{<TwoObject: void m()>[0@L11] new List}]:NewObj{<List: Iterator iterator()>[0@L31] new List$ListIterator}]
[NewObj{<TwoObject: void m()>[0@L11] new List}, NewObj{<List: Iterator iterator()>[0@L31] new List$ListIterator}]:<List$ListIterator: java.lang.Object next()>/temp$0 -> [[]:NewObj{<TwoObject: void m()>[0@L11] new List}]
[NewObj{<TwoObject: void m()>[0@L11] new List}, NewObj{<List: Iterator iterator()>[0@L31] new List$ListIterator}]:<List$ListIterator: java.lang.Object next()>/temp$1 -> [[]:NewObj{<TwoObject: void m()>[3@L12] new java.lang.Object}]
[NewObj{<TwoObject: void m()>[0@L11] new List}, NewObj{<List: Iterator iterator()>[0@L31] new List$ListIterator}]:<List$ListIterator: void <init>(List)>/%this -> [[NewObj{<TwoObject: void m()>[0@L11] new List}]:NewObj{<List: Iterator iterator()>[0@L31] new List$ListIterator}]
[NewObj{<TwoObject: void m()>[0@L11] new List}, NewObj{<List: Iterator iterator()>[0@L31] new List$ListIterator}]:<List$ListIterator: void <init>(List)>/temp$0 -> [[]:NewObj{<TwoObject: void m()>[0@L11] new List}]
[NewObj{<TwoObject: void m()>[0@L11] new List}]:<List: Iterator iterator()>/%this -> [[]:NewObj{<TwoObject: void m()>[0@L11] new List}]
[NewObj{<TwoObject: void m()>[0@L11] new List}]:<List: Iterator iterator()>/temp$0 -> [[NewObj{<TwoObject: void m()>[0@L11] new List}]:NewObj{<List: Iterator iterator()>[0@L31] new List$ListIterator}]
[NewObj{<TwoObject: void m()>[0@L11] new List}]:<List: void <init>()>/%this -> [[]:NewObj{<TwoObject: void m()>[0@L11] new List}]
[NewObj{<TwoObject: void m()>[0@L11] new List}]:<List: void add(java.lang.Object)>/%this -> [[]:NewObj{<TwoObject: void m()>[0@L11] new List}]
[NewObj{<TwoObject: void m()>[0@L11] new List}]:<List: void add(java.lang.Object)>/e -> [[]:NewObj{<TwoObject: void m()>[3@L12] new java.lang.Object}]
[NewObj{<TwoObject: void m()>[6@L13] new List}, NewObj{<List: Iterator iterator()>[0@L31] new List$ListIterator}]:<List$ListIterator: java.lang.Object next()>/%this -> [[NewObj{<TwoObject: void m()>[6@L13] new List}]:NewObj{<List: Iterator iterator()>[0@L31] new List$ListIterator}]
[NewObj{<TwoObject: void m()>[6@L13] new List}, NewObj{<List: Iterator iterator()>[0@L31] new List$ListIterator}]:<List$ListIterator: java.lang.Object next()>/temp$0 -> [[]:NewObj{<TwoObject: void m()>[6@L13] new List}]
[NewObj{<TwoObject: void m()>[6@L13] new List}, NewObj{<List: Iterator iterator()>[0@L31] new List$ListIterator}]:<List$ListIterator: java.lang.Object next()>/temp$1 -> [[]:NewObj{<TwoObject: void m()>[9@L14] new java.lang.Object}]
[NewObj{<TwoObject: void m()>[6@L13] new List}, NewObj{<List: Iterator iterator()>[0@L31] new List$ListIterator}]:<List$ListIterator: void <init>(List)>/%this -> [[NewObj{<TwoObject: void m()>[6@L13] new List}]:NewObj{<List: Iterator iterator()>[0@L31] new List$ListIterator}]
[NewObj{<TwoObject: void m()>[6@L13] new List}, NewObj{<List: Iterator iterator()>[0@L31] new List$ListIterator}]:<List$ListIterator: void <init>(List)>/temp$0 -> [[]:NewObj{<TwoObject: void m()>[6@L13] new List}]
[NewObj{<TwoObject: void m()>[6@L13] new List}]:<List: Iterator iterator()>/%this -> [[]:NewObj{<TwoObject: void m()>[6@L13] new List}]
[NewObj{<TwoObject: void m()>[6@L13] new List}]:<List: Iterator iterator()>/temp$0 -> [[NewObj{<TwoObject: void m()>[6@L13] new List}]:NewObj{<List: Iterator iterator()>[0@L31] new List$ListIterator}]
[NewObj{<TwoObject: void m()>[6@L13] new List}]:<List: void <init>()>/%this -> [[]:NewObj{<TwoObject: void m()>[6@L13] new List}]
[NewObj{<TwoObject: void m()>[6@L13] new List}]:<List: void add(java.lang.Object)>/%this -> [[]:NewObj{<TwoObject: void m()>[6@L13] new List}]
[NewObj{<TwoObject: void m()>[6@L13] new List}]:<List: void add(java.lang.Object)>/e -> [[]:NewObj{<TwoObject: void m()>[9@L14] new java.lang.Object}]
[]:<TwoObject: void m()>/i1 -> [[NewObj{<TwoObject: void m()>[0@L11] new List}]:NewObj{<List: Iterator iterator()>[0@L31] new List$ListIterator}]
[]:<TwoObject: void m()>/i2 -> [[NewObj{<TwoObject: void m()>[6@L13] new List}]:NewObj{<List: Iterator iterator()>[0@L31] new List$ListIterator}]
[]:<TwoObject: void m()>/l1 -> [[]:NewObj{<TwoObject: void m()>[0@L11] new List}]
[]:<TwoObject: void m()>/l2 -> [[]:NewObj{<TwoObject: void m()>[6@L13] new List}]
[]:<TwoObject: void m()>/o1 -> [[]:NewObj{<TwoObject: void m()>[3@L12] new java.lang.Object}]
[]:<TwoObject: void m()>/o2 -> [[]:NewObj{<TwoObject: void m()>[9@L14] new java.lang.Object}]
[]:<TwoObject: void m()>/temp$0 -> [[]:NewObj{<TwoObject: void m()>[0@L11] new List}]
[]:<TwoObject: void m()>/temp$1 -> [[]:NewObj{<TwoObject: void m()>[3@L12] new java.lang.Object}]
[]:<TwoObject: void m()>/temp$2 -> [[]:NewObj{<TwoObject: void m()>[6@L13] new List}]
[]:<TwoObject: void m()>/temp$3 -> [[]:NewObj{<TwoObject: void m()>[9@L14] new java.lang.Object}]
[]:<TwoObject: void m()>/temp$4 -> [[NewObj{<TwoObject: void m()>[0@L11] new List}]:NewObj{<List: Iterator iterator()>[0@L31] new List$ListIterator}]
[]:<TwoObject: void m()>/temp$5 -> [[]:NewObj{<TwoObject: void m()>[3@L12] new java.lang.Object}]
[]:<TwoObject: void m()>/temp$6 -> [[NewObj{<TwoObject: void m()>[6@L13] new List}]:NewObj{<List: Iterator iterator()>[0@L31] new List$ListIterator}]
[]:<TwoObject: void m()>/temp$7 -> [[]:NewObj{<TwoObject: void m()>[9@L14] new java.lang.Object}]
[]:<TwoObject: void main(java.lang.String[])>/args -> [[]:EntryPointObj{alloc=MethodParam{<TwoObject: void main(java.lang.String[])>/0},type=java.lang.String[] in <TwoObject: void main(java.lang.String[])>}]

Points-to sets of all static fields

Points-to sets of all instance fields
[NewObj{<TwoObject: void m()>[0@L11] new List}]:NewObj{<List: Iterator iterator()>[0@L31] new List$ListIterator}.this$0 -> [[]:NewObj{<TwoObject: void m()>[0@L11] new List}]
[NewObj{<TwoObject: void m()>[6@L13] new List}]:NewObj{<List: Iterator iterator()>[0@L31] new List$ListIterator}.this$0 -> [[]:NewObj{<TwoObject: void m()>[6@L13] new List}]
[]:NewObj{<TwoObject: void m()>[0@L11] new List}.element -> [[]:NewObj{<TwoObject: void m()>[3@L12] new java.lang.Object}]
[]:NewObj{<TwoObject: void m()>[6@L13] new List}.element -> [[]:NewObj{<TwoObject: void m()>[9@L14] new java.lang.Object}]

Points-to sets of all array indexes
[]:EntryPointObj{alloc=MethodParam{<TwoObject: void main(java.lang.String[])>/0},type=java.lang.String[] in <TwoObject: void main(java.lang.String[])>}[*] -> [[]:EntryPointObj{alloc=MethodParam{<TwoObject: void main(java.lang.String[])>/0}[*],type=java.lang.String in <TwoObject: void main(java.lang.String[])>}]

