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