obj
IEquatable<Summary>
IStructuralEquatable
IComparable<Summary>
IComparable
IStructuralComparable
InMems
Set<Value>
InRegs
Set<Reg>
OutMems
Map<Value, Value>
OutRegs
Map<Reg, Value>
SideEff
bool
SysCall
Summary list