exportConstraintGraph

fun exportConstraintGraph(output: Writer)

Outputs a DOT representation of the program's constraint graph to output.