Do optimizations based on if we know an expression is 0 or !=0, even though we don't know anything else.
Do optimizations based on if we know an expression is 0 or !=0, even though we don't know anything else.