let restart () = dot_footer !dot_fmt; fprintf !dot_fmt "\n@."; dot_header !dot_fmt