Addr * Symbol
obj
IStructuralComparable
IStructuralEquatable
IComparable
ITuple
Since Symbol is only unique within an instruction, it is necessary to tag it with the instruction address that holds the symbol.
this.Item1
Addr
this.Item2
Symbol