Corrected misbehavior with constants in Bool2IntDomains
1.2.1 release