Points-to sets of all variables
[]:<LinkedQueue: boolean check()>/%this -> [[]:NewObj{<LinkedQueue: void main(java.lang.String[])>[0@L89] new LinkedQueue}]
[]:<LinkedQueue: boolean check()>/lastNode -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: boolean check()>/temp$11 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: boolean check()>/temp$12 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: boolean check()>/temp$14 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: boolean check()>/temp$15 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: boolean check()>/temp$17 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: boolean check()>/temp$18 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: boolean check()>/temp$20 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: boolean check()>/temp$21 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: boolean check()>/temp$23 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: boolean check()>/temp$24 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: boolean check()>/temp$26 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: boolean check()>/temp$27 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: boolean check()>/temp$3 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: boolean check()>/temp$32 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: boolean check()>/temp$35 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: boolean check()>/temp$36 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: boolean check()>/temp$37 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: boolean check()>/temp$5 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: boolean check()>/temp$8 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: boolean check()>/temp$9 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: boolean check()>/x -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: boolean isEmpty()>/%this -> [[]:NewObj{<LinkedQueue: void main(java.lang.String[])>[0@L89] new LinkedQueue}]
[]:<LinkedQueue: boolean isEmpty()>/temp$0 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: java.lang.Object dequeue()>/%this -> [[]:NewObj{<LinkedQueue: void main(java.lang.String[])>[0@L89] new LinkedQueue}]
[]:<LinkedQueue: java.lang.Object dequeue()>/item -> [[]:NewObj{<LinkedQueue: void main(java.lang.String[])>[3@L90] new java.lang.Object}, []:NewObj{<LinkedQueue: void main(java.lang.String[])>[6@L91] new java.lang.Object}]
[]:<LinkedQueue: java.lang.Object dequeue()>/temp$1 -> []
[]:<LinkedQueue: java.lang.Object dequeue()>/temp$2 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: java.lang.Object dequeue()>/temp$3 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: java.lang.Object dequeue()>/temp$4 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: java.lang.Object dequeue()>/temp$8 -> []
[]:<LinkedQueue: void <init>()>/%this -> [[]:NewObj{<LinkedQueue: void main(java.lang.String[])>[0@L89] new LinkedQueue}]
[]:<LinkedQueue: void <init>()>/temp$0 -> []
[]:<LinkedQueue: void <init>()>/temp$1 -> []
[]:<LinkedQueue: void enqueue(java.lang.Object)>/%this -> [[]:NewObj{<LinkedQueue: void main(java.lang.String[])>[0@L89] new LinkedQueue}]
[]:<LinkedQueue: void enqueue(java.lang.Object)>/item -> [[]:NewObj{<LinkedQueue: void main(java.lang.String[])>[3@L90] new java.lang.Object}, []:NewObj{<LinkedQueue: void main(java.lang.String[])>[6@L91] new java.lang.Object}]
[]:<LinkedQueue: void enqueue(java.lang.Object)>/oldlast -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: void enqueue(java.lang.Object)>/temp$0 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: void enqueue(java.lang.Object)>/temp$1 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: void enqueue(java.lang.Object)>/temp$2 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: void enqueue(java.lang.Object)>/temp$3 -> []
[]:<LinkedQueue: void enqueue(java.lang.Object)>/temp$5 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: void enqueue(java.lang.Object)>/temp$6 -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:<LinkedQueue: void main(java.lang.String[])>/args -> [[]:EntryPointObj{alloc=MethodParam{<LinkedQueue: void main(java.lang.String[])>/0},type=java.lang.String[] in <LinkedQueue: void main(java.lang.String[])>}]
[]:<LinkedQueue: void main(java.lang.String[])>/item -> [[]:NewObj{<LinkedQueue: void main(java.lang.String[])>[3@L90] new java.lang.Object}, []:NewObj{<LinkedQueue: void main(java.lang.String[])>[6@L91] new java.lang.Object}]
[]:<LinkedQueue: void main(java.lang.String[])>/queue -> [[]:NewObj{<LinkedQueue: void main(java.lang.String[])>[0@L89] new LinkedQueue}]
[]:<LinkedQueue: void main(java.lang.String[])>/temp$0 -> [[]:NewObj{<LinkedQueue: void main(java.lang.String[])>[0@L89] new LinkedQueue}]
[]:<LinkedQueue: void main(java.lang.String[])>/temp$1 -> [[]:NewObj{<LinkedQueue: void main(java.lang.String[])>[3@L90] new java.lang.Object}]
[]:<LinkedQueue: void main(java.lang.String[])>/temp$2 -> [[]:NewObj{<LinkedQueue: void main(java.lang.String[])>[6@L91] new java.lang.Object}]
[]:<LinkedQueue: void main(java.lang.String[])>/temp$4 -> [[]:NewObj{<LinkedQueue: void main(java.lang.String[])>[3@L90] new java.lang.Object}, []:NewObj{<LinkedQueue: void main(java.lang.String[])>[6@L91] new java.lang.Object}]
[]:<Node: void <init>()>/%this -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]

Points-to sets of all static fields

Points-to sets of all instance fields
[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}.item -> [[]:NewObj{<LinkedQueue: void main(java.lang.String[])>[3@L90] new java.lang.Object}, []:NewObj{<LinkedQueue: void main(java.lang.String[])>[6@L91] new java.lang.Object}]
[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}.next -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:NewObj{<LinkedQueue: void main(java.lang.String[])>[0@L89] new LinkedQueue}.first -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]
[]:NewObj{<LinkedQueue: void main(java.lang.String[])>[0@L89] new LinkedQueue}.last -> [[]:NewObj{<LinkedQueue: void enqueue(java.lang.Object)>[1@L33] new Node}]

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

