Constraint declaritive tests.
CSetVar and CStringVar.
Each test input file has its own runner.
Refactor domain.
Fixed mask containing negatives.
Test IR compilation.