fixed unconstrained bugs for bit-vectors