#3134 assume(a*b>0) -> assume(equal(a,0)) should complain

[David Scherfgen]

After assuming that a*b>0, assuming that a is zero should make Maxima complain.