Multiplication of boolref gives unclear error message

[Wout4]

Multiplications of 2 boolrefs gives an unclear z3exception, I suspect this is not supported but then a clear error message would be nice. (As is the case for other operators on boolrefs, like +, - and /)

example:
s = Solver()
b = Bool('b')
c = Bool('c')
s.add(c * b < 2)