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