Visualization of Compiler Graphs (VCG) reads a specification of a
graph and visualizes it. It can lay out the graph using several
heuristics such as reducing the number of crossings, minimizing the
size of edges, and centering nodes. It allows folding of dynamically-
or statically-specified regions of the graph.