Write the graphviz DOT label for the overall graph. This is essentially a block of text that
will appear below the graph, showing the type of the
fn this MIR represents and the types of
all the variables and temporaries.
Write a graphviz DOT graph of the MIR.
Write a graphviz DOT graph of a list of MIRs.