Dependency graph titles

Now the dependency graphs are no longer titled "_anonymous_0".  There has to be a better way to do this, though.  Any ideas?

Also, link to proviola, because I think people will be interested in stepping through the proofs from looking at the files.