let dot_trans out tr =
  fprintf
    out
    "  \"%s\" -> \"%s\" [ label = \"%s\"];\n"
    (string_of_state tr.start)
    (string_of_state tr.stop)
    (if DotSeparatedLabels.get() then
       trans_label tr.numt
     else string_of_trans tr.numt tr.cross)