Fixed several bugs in the constraint coloring routine
drwxr-xr-x - ir