Updated to CSPOM 2.2, make a few changes accordingly
New domain generator for "bool2int" constraint