added some extra options to the bit-vector theory