ProgramPoint * Stmt
obj
IStructuralComparable
IStructuralEquatable
IComparable
ITuple
SSA statement information.
this.Item1
ProgramPoint
this.Item2
Stmt