add test for tautological-compare error