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