Change '==' to 'is' and '!=' to 'is not' for nodes
Implement BDD negate operator