Add the propagation rule for constant assignment constraint and added
the bound consistency check by check whether the bounds are consistent
with all the constraints.