@Override
        public Cnf visit(Not node) {
            negation = !negation;
            try {
                return node.getX().accept(this);