Update BitRecTy::convertValue to allow if expressions with bit values on both sides...