Predicate BitwiseSignCheck::acceptableSignCheck

Holds if b is a bitwise operation whose result can safely be compared to zero without risking unexpected results due to sign bits.

For example, projecting out constant bit patterns less than 231 is safe, as are shifts by small constant integers.

predicate acceptableSignCheck(BitwiseExpr b)