@Override
        public Cnf visit(Xor node) {
            Cnf a = node.getX().accept(this);
            Cnf b = node.getY().accept(this);
            negation = !negation;