-// void print_dot_oper(FILE *f, struct expr *e, const char *parent, const char *label) {
-// char *expr_name;
-// asprintf(&expr_name, "expr%d", e->lcp.id);
-// fprintf(f, "\"%s\" -> \"%s\";\n", parent, expr_name);
-
-// fprintf(f, "\"%s\" [shape=diamond,label=\"%s\"];\n", expr_name, label);
-// print_dot_expr(f, e->left.expr, expr_name, "l", "");
-// print_dot_expr(f, e->right.expr, expr_name, "r", "");
-// free(expr_name);
-// }
-
-// void print_dot_expr(FILE *f, struct expr *e, const char *parent,
-// const char *suffix, const char *edge_opts) {
-// if (e->lcp.dot_printed ||
-// !e->lcp.variable)
-// return;
-// e->lcp.dot_printed = 1;
-// if (e) {
-// switch (e->type) {
-// case E_NONE:
-// break;
-// case E_OR:
-// print_dot_oper(f, e, parent, "|");
-// break;
-// case E_AND:
-// print_dot_oper(f, e, parent, "&");
-// break;
-// case E_NOT:
-// print_dot_expr(f, e->left.expr, parent, suffix, "arrowhead=odot");
-// break;
-// case E_EQUAL:
-// print_dot_oper(f, e, parent, "=");
-// break;
-// case E_UNEQUAL:
-// print_dot_oper(f, e, parent, "!=");
-// break;
-// case E_LIST:
-// fprintf(stderr, "LIST not implemented\n");
-// exit(EXIT_FAILURE);
-// break;
-// case E_SYMBOL: {
-// if (e->left.sym->name) {
-// fprintf(f, "\"%s\" -> \"%s\" [%s];\n", parent, e->left.sym->name, edge_opts);
-// print_dot_symbol(f, e->left.sym);
-// }
-// break;
-// }
-// case E_RANGE:
-// fprintf(stderr, "RANGE not implemented\n");
-// exit(EXIT_FAILURE);
-// break;
-// case E_LTH:
-// case E_LEQ:
-// case E_GTH:
-// case E_GEQ:
-// break;
-// }
-// }
-// }
-
-// void print_dot_symbol(FILE *f, struct symbol *sym) {
-// if (!sym->lcp.variable ||
-// sym->lcp.dot_printed)
-// return;
-// sym->lcp.dot_printed = 1;
-
-// const char *opts = "";
-// if (sym->lcp.variable)
-// opts = " [penwidth=3]";
-// else
-// opts = " [color=gray]";
-// fprintf(f, "\"%s\"%s;\n", sym->name, opts);
-// if (sym->dir_dep.expr)
-// print_dot_expr(f, sym->dir_dep.expr, sym->name, "", "");
-
-// struct property *prop;
-// for_all_properties(sym, prop, P_SELECT) {
-// assert(prop->expr->type == E_SYMBOL);
-// print_dot_expr(f, prop->expr, sym->name, "", "label=\"selects\"");
-// if (prop->visible.expr && prop->visible.expr->lcp.variable) {
-// printf("Not implemented %s\n", expr_to_string(prop->visible.expr).get());
-// }
-// }
-// }
-
-
-// void write_dot(const char *dot) {
-// int i;
-// FILE *f = fopen(dot, "w");
-
-// if (!f) {
-// perror(dot);
-// exit(EXIT_FAILURE);
-// }
-
-// fprintf(f, "digraph conf {\n");
-
-// struct symbol *sym;
-// for_all_symbols(i, sym)
-// print_dot_symbol(f, sym);
-// fprintf(f, "}\n");
-// fclose(f);
-// }