IrModules now store variables. Removed nops.
Test cases for boolChannel.
Test cases for allDifferent.
Test cases for the remainder of the comparison operators.
Optimize within and notWithin.
Add explicit refs to test case.
Coalesce less than and greater than domains.
Use short-circuit and.
Remove redundant cardinality constraint.
Removed duplicate cardinality assignments.
Reuse special reify for ternary operator.
Create cardinality variables lazily.
Eliminate common array subexpressions.
Remove accidental print statement.
Eliminate common element subexpressions.
Remove idempotent check in test cases because the ones supplied by the library do not pass the check.