Adds more unit tests related to the Not operator.