When a constant and signaled are operated on, report warnings about things like the following:
AC < 0
[since AC is unsigned, it can never be zero]
AC && 0
[always false]
Not sure how viable these are without annoying false positives, so might want to have a way to disable these warnings?