add test for tautological-compare error

I'm not sure if you would like to add a test for it, but I've managed to reproduce the previous issue. Also I don't know your test suit / case naming conventions, so don't hesitate to throw this one out if you think.