Warn about comparisons involving arithmetic operators.
This is a heuristic for generating warnings.
Often an expression like a + b >= c conceals a bug where the size of
a + b isn't big enough to represent all its possible values. Instead of
doing something smarter, we just warn about all occurrences of comparisons
where one side is a plus, minus, multiply, or divide expression.