fix bug in the encoding of ComputeNumSignBits()
don't discard defined constraints in BinaryBoolPred