Revert "NotExpr"

This reverts commit 8623f4e9f406bb6f63270d3c9a599c49f823b018.