Constant folding in if statements
Handle unary not