let print_transition tr =
  Format.print_string ("  { ");
  Format.print_int tr.numt;
  Format.print_string (": "^tr.start.name^" ") ;
  print_cross tr.cross ;
  Format.print_string (" "^tr.stop.name ^ " }\n")