obj
IEquatable<Context>
IStructuralEquatable
TempVarMap
Dictionary<int, Expr>
VarMap
Dictionary<RegisterID, Expr>