Reports ternary conditional operators of the form x?true:false or similar, which can be trivially simplified.