Addr * Symbol
obj
IStructuralComparable
IStructuralEquatable
IComparable
ITuple
IR Label. Since we don't distinguish instruction boundary in SSA level, we want to specify where the label comes from.
this.Item1
Addr
this.Item2
Symbol
Type something to start searching.