let
dot_guards out tr =
fprintf out
"%s"
(string_of_trans tr.numt tr.cross)