yes, correctly, if all of the operands are literal, and it's covered by the rule `expression.foldable` in most of cases. I removed the overlapped cases from the rule NullPropagation