Added conversion function toBitVec.