Implemented the propagation rules for primitive constraints (x=y and
x=y+z) and added test cases to check if the resulting domain is bounds
consistent with the constraints.