How to easily convert BoolRef to BitVec?

[r4dr3fr4d]

What's the easiest way to convert a BoolRef (eg, from a BVAddNoUnderflow of bitvectors) to a bitvector?

[NikolajBjorner]

use an if-then-else expression.

         If(BVAddNoUnderflow(x,y), BitVecVal(1,1), BitVecVal(0,1))