Renamed a constraint.
Better computation for domains.
Removed obsolete classes.
More optimizations.
More powerful integer analysis.
Fixed some bugs.
Efficient sum set constraint.
Optimize sort.
Renamed an IR node.
Merged IrDualExpr into its superclass.
Set membership + optimizing set equality into membership in special cases.